Searched refs:vexpress_timer_init (Results 1 – 1 of 1) sorted by relevance
33 static void vexpress_timer_init(void);58 vexpress_timer_init(); in board_init()130 static void vexpress_timer_init(void) in vexpress_timer_init() function