nvmm_x64_state_fpu_xmmreg
CTASSERT(sizeof(struct nvmm_x64_state_fpu_xmmreg) == 16);
struct nvmm_x64_state_fpu_xmmreg fx_xmm[16]; /* XMM registers */
