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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/zynq7000/
H A Dsrc.c14 #define SLCR_PADDR 0xF8000000 /* System Level Control Registers */ macro
89 slcr_regs = ps_io_map(&ops->io_mapper, SLCR_PADDR, SLCR_SIZE, 0, PS_MEM_NORMAL);

Completed in 22 milliseconds