Searched refs:sq_configure_sys_timer (Results 1 – 1 of 1) sorted by relevance
163 static void sq_configure_sys_timer(void) in sq_configure_sys_timer() function204 sq_configure_sys_timer(); in bl31_platform_setup()
