Home
last modified time | relevance | path

Searched refs:highBits (Results 1 – 1 of 1) sorted by relevance

/hal_intel-3.7.0/bsp_sedi/drivers/hpet/
Dsedi_hpet.c158 uint32_t highBits; in sedi_hpet_get_main_counter() local
163 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()