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)));