Searched refs:bl2_init_generic_timer (Results 1 – 2 of 2) sorted by relevance
78 static void bl2_init_generic_timer(void);688 bl2_init_generic_timer(); in bl2_el3_early_platform_setup() 993 static void bl2_init_generic_timer(void) in bl2_init_generic_timer() 992 static void bl2_init_generic_timer(void) bl2_init_generic_timer() function
78 static void bl2_init_generic_timer(void);1057 bl2_init_generic_timer(); in bl2_el3_early_platform_setup() 1369 static void bl2_init_generic_timer(void) in bl2_init_generic_timer() 1368 static void bl2_init_generic_timer(void) bl2_init_generic_timer() function