Searched refs:guest_supported_xcr0 (Results 1 – 3 of 3) sorted by relevance
170 vcpu->arch.guest_supported_xcr0 = 0; in kvm_vcpu_after_set_cpuid()172 vcpu->arch.guest_supported_xcr0 = in kvm_vcpu_after_set_cpuid()185 best->ecx &= vcpu->arch.guest_supported_xcr0 & 0xffffffff; in kvm_vcpu_after_set_cpuid()186 best->edx &= vcpu->arch.guest_supported_xcr0 >> 32; in kvm_vcpu_after_set_cpuid()
1027 valid_bits = vcpu->arch.guest_supported_xcr0 | XFEATURE_MASK_FP; in __kvm_set_xcr()4880 xstate_bv &= vcpu->arch.guest_supported_xcr0 | XFEATURE_MASK_FPSSE; in fill_xsave()
705 u64 guest_supported_xcr0; member