Lines Matching defs:xcr0
1025 if (vcpu->arch.xcr0 != host_xcr0)
1026 xsetbv(XCR_XFEATURE_ENABLED_MASK, vcpu->arch.xcr0);
1035 ((vcpu->arch.xcr0 & XFEATURE_MASK_PKRU) ||
1047 ((vcpu->arch.xcr0 & XFEATURE_MASK_PKRU) ||
1056 if (vcpu->arch.xcr0 != host_xcr0)
1076 u64 xcr0 = xcr;
1077 u64 old_xcr0 = vcpu->arch.xcr0;
1080 /* Only support XCR_XFEATURE_ENABLED_MASK(xcr0) now */
1083 if (!(xcr0 & XFEATURE_MASK_FP))
1085 if ((xcr0 & XFEATURE_MASK_YMM) && !(xcr0 & XFEATURE_MASK_SSE))
1090 * saving. However, xcr0 bit 0 is always set, even if the
1094 if (xcr0 & ~valid_bits)
1097 if ((!(xcr0 & XFEATURE_MASK_BNDREGS)) !=
1098 (!(xcr0 & XFEATURE_MASK_BNDCSR)))
1101 if (xcr0 & XFEATURE_MASK_AVX512) {
1102 if (!(xcr0 & XFEATURE_MASK_YMM))
1104 if ((xcr0 & XFEATURE_MASK_AVX512) != XFEATURE_MASK_AVX512)
1108 if ((xcr0 & XFEATURE_MASK_XTILE) &&
1109 ((xcr0 & XFEATURE_MASK_XTILE) != XFEATURE_MASK_XTILE))
1112 vcpu->arch.xcr0 = xcr0;
1114 if ((xcr0 ^ old_xcr0) & XFEATURE_MASK_EXTEND)
5447 guest_xcrs->xcrs[0].value = vcpu->arch.xcr0;