X86_XSTATE_XCR0_OFFSET
*(uint64_t *)((char *)buf + X86_XSTATE_XCR0_OFFSET) =
CTASSERT(X86_XSTATE_XCR0_OFFSET >= offsetof(struct savefpu, sv_pad) &&
X86_XSTATE_XCR0_OFFSET + sizeof(uint64_t) <= sizeof(struct savefpu));
*(uint64_t *)((char *)buf + X86_XSTATE_XCR0_OFFSET) =
*(uint64_t *)((char *)buf + X86_XSTATE_XCR0_OFFSET) =
CTASSERT(X86_XSTATE_XCR0_OFFSET >= offsetof(struct savexmm, sv_pad) &&
X86_XSTATE_XCR0_OFFSET + sizeof(uint64_t) <= sizeof(struct savexmm));
*(uint64_t *)(xstate + X86_XSTATE_XCR0_OFFSET) = info.xsave_mask;