hpet_readl
extern unsigned int hpet_readl(unsigned int a);
hpet_period = hpet_readl(HPET_PERIOD);
id = hpet_readl(HPET_ID);
cfg = hpet_readl(HPET_CFG);
cfg = hpet_readl(HPET_Tn_CFG(i));
cnt = delta + hpet_readl(HPET_COUNTER);
cfg = hpet_readl(HPET_T1_CFG);
u32 cfg = hpet_readl(HPET_T1_CFG);
} while (!hpet_cnt_ahead(hpet_t1_cmp, hpet_readl(HPET_COUNTER)));
id = hpet_readl(HPET_ID);
period = hpet_readl(HPET_PERIOD);
cfg = hpet_readl(HPET_CFG);
status = hpet_readl(HPET_STATUS);
l = hpet_readl(HPET_COUNTER);
h = hpet_readl(HPET_COUNTER+4);
l = hpet_readl(HPET_Tn_CFG(i));
h = hpet_readl(HPET_Tn_CFG(i)+4);
l = hpet_readl(HPET_Tn_CMP(i));
h = hpet_readl(HPET_Tn_CMP(i)+4);
l = hpet_readl(HPET_Tn_ROUTE(i));
h = hpet_readl(HPET_Tn_ROUTE(i)+4);
u32 cfg = hpet_readl(HPET_CFG);
unsigned int cfg = hpet_readl(HPET_CFG);
unsigned int cfg = hpet_readl(HPET_CFG);
now = hpet_readl(HPET_COUNTER);
cfg = hpet_readl(HPET_Tn_CFG(channel));
cfg = hpet_readl(HPET_Tn_CFG(channel));
cfg = hpet_readl(HPET_Tn_CFG(channel));
cnt = hpet_readl(HPET_COUNTER);
res = (s32)(cnt - hpet_readl(HPET_COUNTER));
cfg = hpet_readl(HPET_Tn_CFG(hc->num));
cfg = hpet_readl(HPET_Tn_CFG(hc->num));
return (u64)hpet_readl(HPET_COUNTER);
new.value = hpet_readl(HPET_COUNTER);
return (u64)hpet_readl(HPET_COUNTER);
if (hpet_readl(HPET_CFG) != 0xFFFFFFFF)
t1 = hpet_readl(HPET_COUNTER);
if (t1 != hpet_readl(HPET_COUNTER))
*p = hpet_readl(HPET_COUNTER) & 0xFFFFFFFF;
tmp = ((u64)hpet2 * hpet_readl(HPET_PERIOD));