Searched refs:guest_supported_xcr0 (Results 1 – 3 of 3) sorted by relevance
83 vcpu->arch.guest_supported_xcr0 = 0; in kvm_update_cpuid()86 vcpu->arch.guest_supported_xcr0 = in kvm_update_cpuid()
652 valid_bits = vcpu->arch.guest_supported_xcr0 | XSTATE_FP; in __kvm_set_xcr()7311 vcpu->arch.guest_supported_xcr0 = 0; in kvm_arch_vcpu_init()
398 u64 guest_supported_xcr0; member