tmcct            1223 arch/x86/kvm/lapic.c 	u32 tmcct;
tmcct            1238 arch/x86/kvm/lapic.c 	tmcct = div64_u64(ns,
tmcct            1241 arch/x86/kvm/lapic.c 	return tmcct;