hw/misc/iotkit-secctl.h

8  * it under the terms of the GNU General Public License version 2 or
18  *  + sysbus MMIO region 1 is the "non-secure privilege control block" registers
23  * Controlling the 2 APB PPCs in the IoTKit:
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
35  *  + named GPIO inputs apb_ppcexp{0,1,2,3}_irq_status
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
42  *  + named GPIO inputs ahb_ppcexp{0,1,2,3}_irq_status
51  *  + named GPIO outputs mscexp_clear[0..15]
52  *  + named GPIO outputs mscexp_ns[0..15]
61 #define TYPE_IOTKIT_SECCTL "iotkit-secctl"
67 #define IOTS_NUM_APB_PPC 2
76  * PPCs in the IoTKit not all the IRQ lines are used.