Lines Matching defs:xcr0
900 if (vcpu->arch.xcr0 != host_xcr0)
901 xsetbv(XCR_XFEATURE_ENABLED_MASK, vcpu->arch.xcr0);
910 (vcpu->arch.xcr0 & XFEATURE_MASK_PKRU)) &&
920 (vcpu->arch.xcr0 & XFEATURE_MASK_PKRU))) {
928 if (vcpu->arch.xcr0 != host_xcr0)
941 u64 xcr0 = xcr;
942 u64 old_xcr0 = vcpu->arch.xcr0;
945 /* Only support XCR_XFEATURE_ENABLED_MASK(xcr0) now */
948 if (!(xcr0 & XFEATURE_MASK_FP))
950 if ((xcr0 & XFEATURE_MASK_YMM) && !(xcr0 & XFEATURE_MASK_SSE))
955 * saving. However, xcr0 bit 0 is always set, even if the
959 if (xcr0 & ~valid_bits)
962 if ((!(xcr0 & XFEATURE_MASK_BNDREGS)) !=
963 (!(xcr0 & XFEATURE_MASK_BNDCSR)))
966 if (xcr0 & XFEATURE_MASK_AVX512) {
967 if (!(xcr0 & XFEATURE_MASK_YMM))
969 if ((xcr0 & XFEATURE_MASK_AVX512) != XFEATURE_MASK_AVX512)
972 vcpu->arch.xcr0 = xcr0;
974 if ((xcr0 ^ old_xcr0) & XFEATURE_MASK_EXTEND)
4698 guest_xcrs->xcrs[0].value = vcpu->arch.xcr0;
10180 * Ensure guest xcr0 is valid for loading
10182 vcpu->arch.xcr0 = XFEATURE_MASK_FP;
10409 vcpu->arch.xcr0 = XFEATURE_MASK_FP;