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

/seL4-refos-master/libs/libplatsupport/src/plat/zynq7000/
H A Dsrc.h15 void* reset_controller_get_clock_regs(src_dev_t* dev);
H A Dsrc.c75 reset_controller_get_clock_regs(src_dev_t* dev) function
H A Dclock.c990 clk_regs = (volatile struct zynq7000_clk_regs*)reset_controller_get_clock_regs(&slcr);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/zynq7000/
H A Dsrc.h15 void* reset_controller_get_clock_regs(src_dev_t* dev);
H A Dsrc.c75 reset_controller_get_clock_regs(src_dev_t* dev) function
H A Dclock.c990 clk_regs = (volatile struct zynq7000_clk_regs*)reset_controller_get_clock_regs(&slcr);

Completed in 30 milliseconds