Searched refs:guest_fpu_loaded (Results 1 – 2 of 2) sorted by relevance
134 int guest_fpu_loaded, guest_xcr0_loaded; member
5825 if (vcpu->guest_fpu_loaded) in kvm_load_guest_fpu()5834 vcpu->guest_fpu_loaded = 1; in kvm_load_guest_fpu()5844 if (!vcpu->guest_fpu_loaded) in kvm_put_guest_fpu()5847 vcpu->guest_fpu_loaded = 0; in kvm_put_guest_fpu()