HPET_CFG
unsigned int cfg = hpet_read(HPET_CFG);
hpet_write(HPET_CFG, cfg);
unsigned int cfg = hpet_read(HPET_CFG);
hpet_write(HPET_CFG, cfg);
cfg = hpet_readl(HPET_CFG);
hpet_writel(cfg, HPET_CFG);
hpet_writel(cfg, HPET_CFG);
hpet_writel(hpet_base.boot_cfg, HPET_CFG);
cfg = hpet_readl(HPET_CFG);
u32 cfg = hpet_readl(HPET_CFG);
hpet_writel(cfg, HPET_CFG);
unsigned int cfg = hpet_readl(HPET_CFG);
hpet_writel(cfg, HPET_CFG);
unsigned int cfg = hpet_readl(HPET_CFG);
hpet_writel(cfg, HPET_CFG);
if (hpet_readl(HPET_CFG) != 0xFFFFFFFF)