hpet_t1_cmp      1031 arch/x86/kernel/hpet.c static u32 hpet_t1_cmp;
hpet_t1_cmp      1108 arch/x86/kernel/hpet.c 	hpet_t1_cmp = cnt;
hpet_t1_cmp      1226 arch/x86/kernel/hpet.c 		hpet_t1_cmp += delta;
hpet_t1_cmp      1227 arch/x86/kernel/hpet.c 		hpet_writel(hpet_t1_cmp, HPET_T1_CMP);
hpet_t1_cmp      1229 arch/x86/kernel/hpet.c 	} while (!hpet_cnt_ahead(hpet_t1_cmp, hpet_readl(HPET_COUNTER)));