guest_xcr0_loaded  829 arch/x86/kvm/x86.c 			!vcpu->guest_xcr0_loaded) {
guest_xcr0_loaded  833 arch/x86/kvm/x86.c 		vcpu->guest_xcr0_loaded = 1;
guest_xcr0_loaded  854 arch/x86/kvm/x86.c 	if (vcpu->guest_xcr0_loaded) {
guest_xcr0_loaded  857 arch/x86/kvm/x86.c 		vcpu->guest_xcr0_loaded = 0;
guest_xcr0_loaded  281 include/linux/kvm_host.h 	int guest_xcr0_loaded;