decache_tsc_multiplier 2354 arch/x86/kvm/vmx/nested.c 		decache_tsc_multiplier(vmx);
decache_tsc_multiplier 4127 arch/x86/kvm/vmx/nested.c 		decache_tsc_multiplier(vmx);
decache_tsc_multiplier 1358 arch/x86/kvm/vmx/vmx.c 		decache_tsc_multiplier(vmx);