Home
last modified time | relevance | path

Searched refs:guest_xcr0_loaded (Results 1 – 2 of 2) sorted by relevance

/linux-4.1.27/include/linux/
Dkvm_host.h232 int guest_fpu_loaded, guest_xcr0_loaded; member
/linux-4.1.27/arch/x86/kvm/
Dx86.c635 !vcpu->guest_xcr0_loaded) { in kvm_load_guest_xcr0()
638 vcpu->guest_xcr0_loaded = 1; in kvm_load_guest_xcr0()
644 if (vcpu->guest_xcr0_loaded) { in kvm_put_guest_xcr0()
647 vcpu->guest_xcr0_loaded = 0; in kvm_put_guest_xcr0()