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

/seL4-refos-master/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);
/seL4-refos-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 65 milliseconds