Searched defs:UART0_PADDR (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/allwinnerA20/plat/machine/
H A Ddevices.h35 #define UART0_PADDR 0x01C28000 macro
/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/
H A Ddevices.h25 #define UART0_PADDR 0x44E09000 macro
/seL4-l4v-10.1.1/seL4/include/plat/hikey/plat/machine/
H A Ddevices.h29 #define UART0_PADDR 0xF8015000 macro
/seL4-l4v-10.1.1/seL4/include/plat/zynq7000/plat/machine/
H A Ddevices.h32 #define UART0_PADDR 0xE0000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/exynos4/plat/machine/
H A Ddevices.h161 #define UART0_PADDR 0x13800000 macro
/seL4-l4v-10.1.1/seL4/include/plat/exynos5/plat/machine/
H A Ddevices.h148 #define UART0_PADDR 0x12C00000 macro
/seL4-l4v-10.1.1/seL4/include/plat/zynqmp/plat/machine/
H A Ddevices.h205 #define UART0_PADDR 0xFF000000 macro

Completed in 65 milliseconds