kvm_fx_restore   3757 arch/x86/kvm/x86.c 	kvm_fx_restore(&vcpu->arch.host_fx_image);
kvm_fx_restore   3775 arch/x86/kvm/x86.c 	kvm_fx_restore(&vcpu->arch.guest_fx_image);
kvm_fx_restore   3786 arch/x86/kvm/x86.c 	kvm_fx_restore(&vcpu->arch.host_fx_image);