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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Dclock.h77 freq_t _default_clk_set_freq(clk_t* clk, freq_t hz);
H A Dclock.c46 freq_t _default_clk_set_freq(clk_t *clk, freq_t hz UNUSED) function
72 clk->set_freq = _default_clk_set_freq;

Completed in 36 milliseconds