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

/seL4-camkes-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 23 milliseconds