Lines Matching refs:xcr0
653 xsetbv(XCR_XFEATURE_ENABLED_MASK, vcpu->arch.xcr0);
661 if (vcpu->arch.xcr0 != host_xcr0)
669 u64 xcr0 = xcr;
670 u64 old_xcr0 = vcpu->arch.xcr0;
673 /* Only support XCR_XFEATURE_ENABLED_MASK(xcr0) now */
676 if (!(xcr0 & XFEATURE_MASK_FP))
678 if ((xcr0 & XFEATURE_MASK_YMM) && !(xcr0 & XFEATURE_MASK_SSE))
683 * saving. However, xcr0 bit 0 is always set, even if the
687 if (xcr0 & ~valid_bits)
690 if ((!(xcr0 & XFEATURE_MASK_BNDREGS)) !=
691 (!(xcr0 & XFEATURE_MASK_BNDCSR)))
694 if (xcr0 & XFEATURE_MASK_AVX512) {
695 if (!(xcr0 & XFEATURE_MASK_YMM))
697 if ((xcr0 & XFEATURE_MASK_AVX512) != XFEATURE_MASK_AVX512)
700 vcpu->arch.xcr0 = xcr0;
702 if ((xcr0 ^ old_xcr0) & XFEATURE_MASK_EXTEND)
3158 guest_xcrs->xcrs[0].value = vcpu->arch.xcr0;
7207 * Ensure guest xcr0 is valid for loading
7209 vcpu->arch.xcr0 = XFEATURE_MASK_FP;
7222 * Guest xcr0 would be loaded later.