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

/seL4-refos-master/libs/libplatsupport/src/plat/zynq7000/
H A Dsrc.c46 slcr_get_regs(src_dev_t* d) function
54 slcr_regs_t* r = slcr_get_regs(d);
62 slcr_regs_t* r = slcr_get_regs(d);
77 void* slcr = (void*)slcr_get_regs(dev);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/zynq7000/
H A Dsrc.c46 slcr_get_regs(src_dev_t* d) function
54 slcr_regs_t* r = slcr_get_regs(d);
62 slcr_regs_t* r = slcr_get_regs(d);
77 void* slcr = (void*)slcr_get_regs(dev);

Completed in 74 milliseconds