52     int ppc; /* Index of APB PPC this device is wired up to, or NO_PPC */  member
53     int ppc_port; /* Port number of this device on the PPC */
129         .ppc = 0,
138         .ppc = 0,
147         .ppc = 1,
157         .ppc = 0,
166         .ppc = NO_PPC,
175         .ppc = NO_PPC,
183         .ppc = NO_PPC,
191         .ppc = NO_PPC,
199         .ppc = NO_PPC,
213         .ppc = 0,
222         .ppc = 0,
231         .ppc = 1,
241         .ppc = 0,
250         .ppc = NO_PPC,
259         .ppc = NO_PPC,
267         .ppc = NO_PPC,
275         .ppc = NO_PPC,
283         .ppc = NO_PPC,
292         .ppc = NO_PPC,
301         .ppc = NO_PPC,
310         .ppc = NO_PPC,
319         .ppc = NO_PPC,
328         .ppc = NO_PPC,
337         .ppc = NO_PPC,
346         .ppc = NO_PPC,
355         .ppc = NO_PPC,
369         .ppc = 0,
378         .ppc = 0,
387         .ppc = 0,
396         .ppc = 0,
405         .ppc = 1,
415         .ppc = NO_PPC,
425         .ppc = NO_PPC,
433         .ppc = NO_PPC,
441         .ppc = NO_PPC,
450         .ppc = NO_PPC,
459         .ppc = NO_PPC,
468         .ppc = NO_PPC,
477         .ppc = NO_PPC,
745         assert(devinfo->ppc == NO_PPC || devinfo->ppc < ARRAY_SIZE(s->apb_ppc));  in armsse_init()
786         g_autofree char *name = g_strdup_printf("apb-ppc%d", i);  in armsse_init()
852     object_initialize_child(obj, "ppc-irq-orgate", &s->ppc_irq_orgate,  in armsse_init()
857         char *name = g_strdup_printf("ppc-irq-splitter-%d", i);  in armsse_init()
1247      * it to the appropriate PPC port; then we can realize the PPC and  in armsse_realize()
1356          * Devices connected to a PPC are connected to the port here;  in armsse_realize()
1358          * in the container later after the PPC has been realized.  in armsse_realize()
1359          * Devices not connected to a PPC can be mapped immediately.  in armsse_realize()
1361         if (devinfo->ppc != NO_PPC) {  in armsse_realize()
1362             TZPPC *ppc = &s->apb_ppc[devinfo->ppc];  in armsse_realize()  local
1365             object_property_set_link(OBJECT(ppc), portname, OBJECT(mr),  in armsse_realize()
1443     /* All the PPC irq lines (from the 2 internal PPCs and the 8 external  in armsse_realize()
1445      * ORed together to give a single combined PPC interrupt to the NVIC.  in armsse_realize()
1550         if (devinfo->ppc == NO_PPC) {  in armsse_realize()
1553         ppc_sbd = SYS_BUS_DEVICE(&s->apb_ppc[devinfo->ppc]);  in armsse_realize()
1588         TZPPC *ppc = &s->apb_ppc[i - NUM_EXTERNAL_PPCS];  in armsse_realize()  local
1594         qdev_connect_gpio_out_named(DEVICE(ppc), "irq", 0,  in armsse_realize()