XCR0_YMM_Hi128
#define XCR0_FPU (XCR0_X87 | XCR0_SSE | XCR0_YMM_Hi128 | \
#define XCR0_FPU (XCR0_X87 | XCR0_SSE | XCR0_YMM_Hi128 | \
if (xstate->xs_xstate_bv & (XCR0_SSE|XCR0_YMM_Hi128)) {
COPY_COMPONENT(XCR0_YMM_Hi128, XSAVE_YMM_Hi128, xs_ymm_hi128);
COPY_COMPONENT(XCR0_YMM_Hi128, XSAVE_YMM_Hi128, xs_ymm_hi128);
if (__predict_false((xcr0 & (XCR0_YMM_Hi128|XCR0_SSE)) ==
XCR0_YMM_Hi128))
KASSERTMSG((xcr0_mask & (XCR0_YMM_Hi128|XCR0_SSE)) != XCR0_YMM_Hi128,
if (__predict_false((xcr0 & (XCR0_YMM_Hi128|XCR0_SSE)) ==
XCR0_YMM_Hi128))
xst_flags |= XCR0_YMM_Hi128;