XSAVE_MAX_BYTES
(XSAVE_ALIGN - 1) + XSAVE_MAX_BYTES <= MINSIGSTKSZ);
KASSERT(xsavelen <= XSAVE_MAX_BYTES);
__CTASSERT(XSAVE_MAX_BYTES <= ~(__greg32_t)0);
(XSAVE_ALIGN - 1) + XSAVE_MAX_BYTES <= MINSIGSTKSZ);
KASSERT(xsavelen <= XSAVE_MAX_BYTES);
(XSAVE_ALIGN - 1) + XSAVE_MAX_BYTES <= MINSIGSTKSZ);
KASSERT(xsavelen <= XSAVE_MAX_BYTES);
if (descs[1] > XSAVE_MAX_BYTES) {
descs[1], (size_t)XSAVE_MAX_BYTES);