Searched refs:fvp_timer_init (Results 1 – 9 of 9) sorted by relevance
21 void fvp_timer_init(void);
176 fvp_timer_init(); in bl1_platform_setup()
252 void fvp_timer_init(void) in fvp_timer_init() function
18 fvp_timer_init(); in bl2u_early_platform_setup()
57 fvp_timer_init(); in bl1_platform_setup()
73 fvp_timer_init(); in bl31_early_platform_setup2()
41 fvp_timer_init(); in bl2_platform_setup()
483 void fvp_timer_init(void) in fvp_timer_init() function
