Searched defs:OCM_PADDR (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/zynq7000/plat/machine/
H A Ddevices.h64 #define OCM_PADDR 0xF800C000 macro
/seL4-l4v-10.1.1/seL4/include/plat/zynqmp/plat/machine/
H A Ddevices.h171 #define OCM_PADDR 0xFF960000 macro

Completed in 30 milliseconds