Searched refs:arm_configure_sys_timer (Results 1 – 6 of 6) sorted by relevance
183 arm_configure_sys_timer(); in arm_system_pwr_domain_resume()
118 void arm_configure_sys_timer(void) in arm_configure_sys_timer() function
268 arm_configure_sys_timer(); in arm_bl1_platform_setup()
444 arm_configure_sys_timer(); in arm_bl31_platform_setup()
266 arm_configure_sys_timer(); in sp_min_platform_setup()
225 void arm_configure_sys_timer(void);