Symbol: HPET_T1_CFG
arch/x86/kernel/hpet.c
1294
cfg = hpet_readl(HPET_T1_CFG);
arch/x86/kernel/hpet.c
1297
hpet_writel(cfg, HPET_T1_CFG);
arch/x86/kernel/hpet.c
1307
u32 cfg = hpet_readl(HPET_T1_CFG);
arch/x86/kernel/hpet.c
1310
hpet_writel(cfg, HPET_T1_CFG);