hpet_read
cfg = hpet_read(HPET_T0_CFG);
cfg = hpet_read(HPET_T0_CFG);
cnt = hpet_read(HPET_COUNTER);
res = (s32)(cnt - hpet_read(HPET_COUNTER));
is_irq = hpet_read(HPET_STATUS);
return (u64)hpet_read(HPET_COUNTER);
unsigned int cfg = hpet_read(HPET_CFG);
unsigned int cfg = hpet_read(HPET_CFG);
cfg = hpet_read(HPET_T0_CFG);
.read = hpet_read,
extern void hpet_read(int, const char **);