Searched refs:hpet_read_timer (Results 1 – 3 of 3) sorted by relevance
65 hpet_now = hpet_read_timer(); in tsc_calibrate_hpet()70 hpet_now = hpet_read_timer(); in tsc_calibrate_hpet()
76 uint64_t hpet_read_timer(void);
559 hpet_read_timer(void) in hpet_read_timer() function