XFEATURE_AVX
} else if (xgetbv(0) & XFEATURE_AVX) {
xsave_mask |= eax & XFEATURE_AVX;
(XFEATURE_X87 | XFEATURE_SSE | XFEATURE_AVX | XFEATURE_MPX | \