Searched defs:TIMER_PPTR (Results 1 - 3 of 3) sorted by relevance

/seL4-mcs-10.1.1/include/plat/bcm2837/plat/32/plat_mode/machine/
H A Ddevices.h19 #define TIMER_PPTR 0xFFF03000 macro
/seL4-mcs-10.1.1/include/plat/bcm2837/plat/64/plat_mode/machine/
H A Ddevices.h19 #define TIMER_PPTR 0xFFFFFFFFFFF03000 macro
/seL4-mcs-10.1.1/include/plat/apq8064/plat/machine/
H A Ddevices.h16 #define TIMER_PPTR 0xfff02000 macro

Completed in 26 milliseconds