HPET_T1_CFG       578 arch/x86/kernel/hpet.c 	cfg = hpet_readl(HPET_T1_CFG);
HPET_T1_CFG       581 arch/x86/kernel/hpet.c 	hpet_writel(cfg, HPET_T1_CFG);
HPET_T1_CFG       668 arch/x86/kernel/hpet.c 		cfg = hpet_readl(HPET_T1_CFG);
HPET_T1_CFG       670 arch/x86/kernel/hpet.c 		hpet_writel(cfg, HPET_T1_CFG);