Searched defs:INTC_PPTR (Results 1 - 4 of 4) sorted by relevance

/seL4-mcs-10.1.1/include/plat/bcm2837/plat/32/plat_mode/machine/
H A Ddevices.h18 #define INTC_PPTR 0xFFF02000 macro
/seL4-mcs-10.1.1/include/plat/bcm2837/plat/64/plat_mode/machine/
H A Ddevices.h18 #define INTC_PPTR 0xFFFFFFFFFFF02000 macro
/seL4-mcs-10.1.1/include/plat/am335x/plat/machine/
H A Ddevices.h15 #define INTC_PPTR 0xfff01000 macro
/seL4-mcs-10.1.1/include/plat/omap3/plat/machine/
H A Ddevices.h23 #define INTC_PPTR 0xfff02000 macro

Completed in 76 milliseconds