Searched refs:guest_xcr0_loaded (Results 1 – 2 of 2) sorted by relevance
135 int guest_fpu_loaded, guest_xcr0_loaded; member
565 vcpu->guest_xcr0_loaded = 0; in __kvm_set_xcr()5143 !vcpu->guest_xcr0_loaded) { in kvm_load_guest_xcr0()5146 vcpu->guest_xcr0_loaded = 1; in kvm_load_guest_xcr0()5152 if (vcpu->guest_xcr0_loaded) { in kvm_put_guest_xcr0()5155 vcpu->guest_xcr0_loaded = 0; in kvm_put_guest_xcr0()