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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/zynq7000/
H A Ddevcfg.c16 #define DEVCFG_PADDR 0xF8007000 macro
23 devcfg_regs = ps_io_map(&ops->io_mapper, DEVCFG_PADDR, DEVCFG_SIZE, false /* cached */, PS_MEM_NORMAL);

Completed in 21 milliseconds