Lines Matching refs:xcr0
637 xsetbv(XCR_XFEATURE_ENABLED_MASK, vcpu->arch.xcr0);
645 if (vcpu->arch.xcr0 != host_xcr0)
653 u64 xcr0 = xcr;
654 u64 old_xcr0 = vcpu->arch.xcr0;
657 /* Only support XCR_XFEATURE_ENABLED_MASK(xcr0) now */
660 if (!(xcr0 & XSTATE_FP))
662 if ((xcr0 & XSTATE_YMM) && !(xcr0 & XSTATE_SSE))
667 * saving. However, xcr0 bit 0 is always set, even if the
671 if (xcr0 & ~valid_bits)
674 if ((!(xcr0 & XSTATE_BNDREGS)) != (!(xcr0 & XSTATE_BNDCSR)))
677 if (xcr0 & XSTATE_AVX512) {
678 if (!(xcr0 & XSTATE_YMM))
680 if ((xcr0 & XSTATE_AVX512) != XSTATE_AVX512)
683 vcpu->arch.xcr0 = xcr0;
685 if ((xcr0 ^ old_xcr0) & XSTATE_EXTEND_MASK)
3319 guest_xcrs->xcrs[0].value = vcpu->arch.xcr0;
7024 * Ensure guest xcr0 is valid for loading
7026 vcpu->arch.xcr0 = XSTATE_FP;
7047 * Guest xcr0 would be loaded later.