Searched refs:MAIN_COUNTER_LOW_REG (Results 1 – 1 of 1) sorted by relevance
74 #define MAIN_COUNTER_LOW_REG HPET_REG_ADDR(0xf0) macro96 uint64_t val = sys_read64(MAIN_COUNTER_LOW_REG); in hpet_counter_get()105 low = sys_read32(MAIN_COUNTER_LOW_REG); in hpet_counter_get()
