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