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()
125 void arm_configure_sys_timer(void) in arm_configure_sys_timer() function
271 arm_configure_sys_timer(); in arm_bl1_platform_setup()
407 arm_configure_sys_timer(); in arm_bl31_platform_setup()
259 arm_configure_sys_timer(); in sp_min_platform_setup()
222 void arm_configure_sys_timer(void);