HPET_T1_CFG      1110 arch/x86/kernel/hpet.c 	cfg = hpet_readl(HPET_T1_CFG);
HPET_T1_CFG      1113 arch/x86/kernel/hpet.c 	hpet_writel(cfg, HPET_T1_CFG);
HPET_T1_CFG      1123 arch/x86/kernel/hpet.c 	u32 cfg = hpet_readl(HPET_T1_CFG);
HPET_T1_CFG      1126 arch/x86/kernel/hpet.c 	hpet_writel(cfg, HPET_T1_CFG);