pmultiplier      1719 arch/x86/kvm/x86.c 			       s8 *pshift, u32 *pmultiplier)
pmultiplier      1743 arch/x86/kvm/x86.c 	*pmultiplier = div_frac(scaled64, tps32);