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

/seL4-l4v-10.1.1/seL4/include/plat/zynq7000/plat/machine/
H A Ddevices.h42 #define GPIO_PADDR 0xE000A000 macro
/seL4-l4v-10.1.1/seL4/include/plat/tk1/plat/machine/
H A Ddevices.h72 #define GPIO_PADDR (0x6000d000) /* 8 GPIOs, 265 bytes each */ macro
/seL4-l4v-10.1.1/seL4/include/plat/tx1/plat/machine/
H A Ddevices.h67 #define GPIO_PADDR (0x6000d000) /* GPIO-1 to GPIO-8 */ macro
/seL4-l4v-10.1.1/seL4/include/plat/zynqmp/plat/machine/
H A Ddevices.h147 #define GPIO_PADDR 0xFF0A0000 macro

Completed in 83 milliseconds