Searched refs:microsecond_timer_init (Results 1 – 3 of 3) sorted by relevance
18 void microsecond_timer_init(void);
31 void microsecond_timer_init(void) { in microsecond_timer_init() function
36 microsecond_timer_init(); in boot_platform_post_init()
