Searched refs:MAIN_COUNTER_HIGH_REG (Results 1 – 1 of 1) sorted by relevance
75 #define MAIN_COUNTER_HIGH_REG HPET_REG_ADDR(0xf4) macro104 high = sys_read32(MAIN_COUNTER_HIGH_REG); in hpet_counter_get()106 } while (high != sys_read32(MAIN_COUNTER_HIGH_REG)); in hpet_counter_get()