Searched refs:UART0_PADDR (Results 1 - 12 of 12) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/qemu-arm-virt/platsupport/plat/
H A Dserial.h15 #define UART0_PADDR 0x9000000 macro
27 #define DEFAULT_SERIAL_PADDR UART0_PADDR
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/hifive/platsupport/plat/
H A Dserial.h24 #define UART0_PADDR 0x10010000 macro
29 #define DEFAULT_SERIAL_PADDR UART0_PADDR
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/zynqmp/platsupport/plat/
H A Dserial.h22 #define UART0_PADDR 0xFF000000 macro
38 #define DEFAULT_SERIAL_PADDR UART0_PADDR
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/
H A Dserial.h15 #define UART0_PADDR 0x44E09000 macro
35 #define DEFAULT_SERIAL_PADDR UART0_PADDR
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/
H A Dserial.h15 #define UART0_PADDR 0x1c090000 macro
39 #define DEFAULT_SERIAL_PADDR UART0_PADDR
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/zynq7000/platsupport/plat/
H A Dserial.h15 #define UART0_PADDR 0xE0000000 macro
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/
H A Dserial.h15 #define UART0_PADDR 0xF8015000 macro
43 #define DEFAULT_SERIAL_PADDR UART0_PADDR
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/rockpro64/platsupport/plat/
H A Dserial.h15 #define UART0_PADDR 0xFF180000 macro
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/odroidc2/platsupport/plat/
H A Dserial.h15 #define UART0_PADDR 0xc1108000 macro
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/polarfire/platsupport/plat/
H A Dserial.h73 #define UART0_PADDR 0x20000000 macro
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/exynos5/sel4vmmplatsupport/plat/
H A Ddevice_map.h47 #define UART0_PADDR 0x12C00000 macro
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvuart.c141 .pstart = UART0_PADDR,

Completed in 133 milliseconds