kvm_save_current_fpu 8531 arch/x86/kvm/x86.c 	kvm_save_current_fpu(vcpu->arch.user_fpu);
kvm_save_current_fpu 8548 arch/x86/kvm/x86.c 	kvm_save_current_fpu(vcpu->arch.guest_fpu);