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

/seL4-l4v-10.1.1/seL4/include/plat/zynq7000/plat/machine/
H A Ddevices.h58 #define DDRC_PADDR 0xF8006000 macro
/seL4-l4v-10.1.1/seL4/include/plat/imx7/plat/machine/
H A Ddevices.h125 #define DDRC_PADDR 0x307a0000 /* 64 KiB */ macro
/seL4-l4v-10.1.1/seL4/include/plat/zynqmp/plat/machine/
H A Ddevices.h118 #define DDRC_PADDR 0xFD070000 macro

Completed in 36 milliseconds