Searched refs:high1 (Results 1 – 1 of 1) sorted by relevance
647 uint32_t high1, high2, low; in hpet_read_main_counter_value() local666 high1 = high2; in hpet_read_main_counter_value()669 } while (high2 != high1); in hpet_read_main_counter_value()671 value = ((uint64_t)high1 << 32) | low; in hpet_read_main_counter_value()