Searched refs:arm_configure_sys_timer (Results 1 – 14 of 14) 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
215 arm_configure_sys_timer(); in arm_bl1_platform_setup()
286 arm_configure_sys_timer(); in arm_bl31_platform_setup()
179 arm_configure_sys_timer(); in arm_system_pwr_domain_resume()
259 arm_configure_sys_timer(); in arm_bl1_platform_setup()
363 arm_configure_sys_timer(); in arm_bl31_platform_setup()
166 arm_configure_sys_timer(); in arm_bl1_platform_setup()
164 arm_configure_sys_timer(); in arm_bl1_platform_setup()
207 arm_configure_sys_timer(); in sp_min_platform_setup()
203 arm_configure_sys_timer(); in sp_min_platform_setup()
185 void arm_configure_sys_timer(void);
226 void arm_configure_sys_timer(void);