HPET_Tn_CFG
cfg = hpet_readl(HPET_Tn_CFG(i));
hpet_writel(cfg, HPET_Tn_CFG(i));
hpet_writel(hpet_base.channels[i].boot_cfg, HPET_Tn_CFG(i));
l = hpet_readl(HPET_Tn_CFG(i));
h = hpet_readl(HPET_Tn_CFG(i)+4);
cfg = hpet_readl(HPET_Tn_CFG(channel));
hpet_writel(cfg, HPET_Tn_CFG(channel));
cfg = hpet_readl(HPET_Tn_CFG(channel));
hpet_writel(cfg, HPET_Tn_CFG(channel));
cfg = hpet_readl(HPET_Tn_CFG(channel));
hpet_writel(cfg, HPET_Tn_CFG(channel));
cfg = hpet_readl(HPET_Tn_CFG(hc->num));
hpet_writel(cfg, HPET_Tn_CFG(hc->num));
cfg = hpet_readl(HPET_Tn_CFG(hc->num));
hpet_writel(cfg, HPET_Tn_CFG(hc->num));