Searched refs:high2 (Results 1 – 1 of 1) sorted by relevance
641 uint32_t high1, high2, low; in hpet_read_main_counter_value() local658 high2 = counter[1]; in hpet_read_main_counter_value()660 high1 = high2; in hpet_read_main_counter_value()662 high2 = counter[1]; in hpet_read_main_counter_value()663 } while (high2 != high1); in hpet_read_main_counter_value()