Searched refs:setup_hpet_timer (Results 1 – 3 of 3) sorted by relevance
45 setup_hpet_timer(); in plat_time_init()
219 void __init setup_hpet_timer(void) in setup_hpet_timer() function
72 extern void __init setup_hpet_timer(void);