Searched refs:highBits (Results 1 – 1 of 1) sorted by relevance
158 uint32_t highBits; in sedi_hpet_get_main_counter() local163 highBits = SEDI_REG_GET(HPET, MCV_HIGH); in sedi_hpet_get_main_counter()165 } while (highBits != SEDI_REG_GET(HPET, MCV_HIGH)); in sedi_hpet_get_main_counter()167 return ((uint64_t)highBits << 32) | lowBits; in sedi_hpet_get_main_counter()