Searched refs:hpet_read_main_counter_value (Results 1 – 1 of 1) sorted by relevance
50 static uint64_t hpet_read_main_counter_value(hpet_info_t *hip);220 hpet_info.main_counter_value = hpet_read_main_counter_value(&hpet_info); in hpet_acpi_init()253 hpet_read_main_counter_value(&hpet_info); in hpet_acpi_init()256 hpet_read_main_counter_value(&hpet_info); in hpet_acpi_init()523 hpet_read_main_counter_value(hpet_info_t *hip) in hpet_read_main_counter_value() function721 program = hpet_read_main_counter_value(hip); in hpet_timer_program()725 time = hpet_read_main_counter_value(hip); in hpet_timer_program()