Searched refs:HPET_COUNTER (Results 1 – 3 of 3) sorted by relevance
184 return ((hpet_readl(HPET_COUNTER) - vxtime.last) * vxtime.quot) >> 32; in do_gettimeoffset_hpet()345 delay = hpet_readl(HPET_COUNTER) - offset; in timer_interrupt()490 hpet_start = hpet_readl(HPET_COUNTER); in hpet_calibrate_tsc()495 hpet_now = hpet_readl(HPET_COUNTER); in hpet_calibrate_tsc()564 hpet_writel(0, HPET_COUNTER); in hpet_init()565 hpet_writel(0, HPET_COUNTER + 4); in hpet_init()
733 while (hpet_readl(HPET_COUNTER) >= trigger); in setup_APIC_timer()734 while (hpet_readl(HPET_COUNTER) < trigger); in setup_APIC_timer()
46 #define HPET_COUNTER 0x0f0 macro