kvm_put_guest_fpu 8618 arch/x86/kvm/x86.c 	kvm_put_guest_fpu(vcpu);
kvm_put_guest_fpu 8782 arch/x86/kvm/x86.c 		kvm_put_guest_fpu(vcpu);
kvm_put_guest_fpu 9254 arch/x86/kvm/x86.c 			kvm_put_guest_fpu(vcpu);