Searched defs:clk_ctl_base1 (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/apq8064/ | ||
H A D | clock.c | 146 apq8064_clock_sys_init(void* clk_ctl_base0, void* clk_ctl_base1, argument |
Completed in 18 milliseconds