nvmm_x86_xsave
CTASSERT(sizeof(struct nvmm_x86_xsave) == 512 + 64);
struct nvmm_x86_xsave gxsave __aligned(64);