HPET_T1_CFG
cfg = hpet_readl(HPET_T1_CFG);
hpet_writel(cfg, HPET_T1_CFG);
u32 cfg = hpet_readl(HPET_T1_CFG);