nvmm_x64_state_fpu_mmreg
CTASSERT(sizeof(struct nvmm_x64_state_fpu_mmreg) == 16);
struct nvmm_x64_state_fpu_mmreg fx_87_ac[8]; /* x87 registers */
