Searched refs:hpet_read_main_counter_value (Results 1 – 1 of 1) sorted by relevance
56 static uint64_t hpet_read_main_counter_value(hpet_info_t *hip);264 hpet_info.main_counter_value = hpet_read_main_counter_value(&hpet_info); in hpet_early_init()301 hpet_read_main_counter_value(&hpet_info); in hpet_early_init()304 hpet_read_main_counter_value(&hpet_info); in hpet_early_init()561 return (hpet_read_main_counter_value(&hpet_info)); in hpet_read_timer()643 hpet_read_main_counter_value(hpet_info_t *hip) in hpet_read_main_counter_value() function863 program = hpet_read_main_counter_value(hip); in hpet_timer_program()867 time = hpet_read_main_counter_value(hip); in hpet_timer_program()