HPET_COUNTER
cnt = hpet_read(HPET_COUNTER);
res = (s32)(cnt - hpet_read(HPET_COUNTER));
return (u64)hpet_read(HPET_COUNTER);
hpet_write(HPET_COUNTER, 0);
hpet_write(HPET_COUNTER + 4, 0);
cnt = delta + hpet_readl(HPET_COUNTER);
} while (!hpet_cnt_ahead(hpet_t1_cmp, hpet_readl(HPET_COUNTER)));
l = hpet_readl(HPET_COUNTER);
h = hpet_readl(HPET_COUNTER+4);
hpet_writel(0, HPET_COUNTER);
hpet_writel(0, HPET_COUNTER + 4);
now = hpet_readl(HPET_COUNTER);
cnt = hpet_readl(HPET_COUNTER);
res = (s32)(cnt - hpet_readl(HPET_COUNTER));
return (u64)hpet_readl(HPET_COUNTER);
new.value = hpet_readl(HPET_COUNTER);
return (u64)hpet_readl(HPET_COUNTER);
t1 = hpet_readl(HPET_COUNTER);
if (t1 != hpet_readl(HPET_COUNTER))
*p = hpet_readl(HPET_COUNTER) & 0xFFFFFFFF;