hw/misc/iotkit-secctl.h

18  *  + sysbus MMIO region 1 is the "non-secure privilege control block" registers
24  *  + named GPIO outputs apb_ppc0_nonsec[0..2] and apb_ppc1_nonsec
25  *  + named GPIO outputs apb_ppc0_ap[0..2] and apb_ppc1_ap
26  *  + named GPIO outputs apb_ppc{0,1}_irq_enable
27  *  + named GPIO outputs apb_ppc{0,1}_irq_clear
31  *  + named GPIO outputs apb_ppcexp{0,1,2,3}_nonsec[0..15]
32  *  + named GPIO outputs apb_ppcexp{0,1,2,3}_ap[0..15]
33  *  + named GPIO outputs apb_ppcexp{0,1,2,3}_irq_enable
34  *  + named GPIO outputs apb_ppcexp{0,1,2,3}_irq_clear
38  *  + named GPIO outputs ahb_ppcexp{0,1,2,3}_nonsec[0..15]
39  *  + named GPIO outputs ahb_ppcexp{0,1,2,3}_ap[0..15]
40  *  + named GPIO outputs ahb_ppcexp{0,1,2,3}_irq_enable
41  *  + named GPIO outputs ahb_ppcexp{0,1,2,3}_irq_clear
51  *  + named GPIO outputs mscexp_clear[0..15]
52  *  + named GPIO outputs mscexp_ns[0..15]
61 #define TYPE_IOTKIT_SECCTL "iotkit-secctl"
76  * PPCs in the IoTKit not all the IRQ lines are used.