Searched refs:arm_configure_sys_timer (Results 1 – 6 of 6) sorted by relevance
175 arm_configure_sys_timer(); in arm_system_pwr_domain_resume()
130 void arm_configure_sys_timer(void) in arm_configure_sys_timer() function
212 arm_configure_sys_timer(); in arm_bl1_platform_setup()
260 arm_configure_sys_timer(); in arm_bl31_platform_setup()
205 arm_configure_sys_timer(); in sp_min_platform_setup()
169 void arm_configure_sys_timer(void);