Searched refs:high2 (Results 1 – 1 of 1) sorted by relevance
647 uint32_t high1, high2, low; in hpet_read_main_counter_value() local664 high2 = counter[1]; in hpet_read_main_counter_value()666 high1 = high2; in hpet_read_main_counter_value()668 high2 = counter[1]; in hpet_read_main_counter_value()669 } while (high2 != high1); in hpet_read_main_counter_value()