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

/seL4-test-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/
H A Dclock.h110 int clock_sys_set_default_freq(enum clk_id id, freq_t hz);
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Dclock.c94 int clock_sys_set_default_freq(enum clk_id id, freq_t hz) function

Completed in 33 milliseconds