Searched refs:setup_hpet_timer (Results 1 – 3 of 3) sorted by relevance
26 setup_hpet_timer(); in plat_time_init()
71 extern void __init setup_hpet_timer(void);
224 void __init setup_hpet_timer(void) in setup_hpet_timer() function