Lines Matching refs:xcr0
669 xsetbv(XCR_XFEATURE_ENABLED_MASK, vcpu->arch.xcr0);
677 if (vcpu->arch.xcr0 != host_xcr0)
685 u64 xcr0 = xcr;
686 u64 old_xcr0 = vcpu->arch.xcr0;
689 /* Only support XCR_XFEATURE_ENABLED_MASK(xcr0) now */
692 if (!(xcr0 & XFEATURE_MASK_FP))
694 if ((xcr0 & XFEATURE_MASK_YMM) && !(xcr0 & XFEATURE_MASK_SSE))
699 * saving. However, xcr0 bit 0 is always set, even if the
703 if (xcr0 & ~valid_bits)
706 if ((!(xcr0 & XFEATURE_MASK_BNDREGS)) !=
707 (!(xcr0 & XFEATURE_MASK_BNDCSR)))
710 if (xcr0 & XFEATURE_MASK_AVX512) {
711 if (!(xcr0 & XFEATURE_MASK_YMM))
713 if ((xcr0 & XFEATURE_MASK_AVX512) != XFEATURE_MASK_AVX512)
716 vcpu->arch.xcr0 = xcr0;
718 if ((xcr0 ^ old_xcr0) & XFEATURE_MASK_EXTEND)
3284 guest_xcrs->xcrs[0].value = vcpu->arch.xcr0;
7405 * Ensure guest xcr0 is valid for loading
7407 vcpu->arch.xcr0 = XFEATURE_MASK_FP;
7420 * Guest xcr0 would be loaded later.