fpu_area_save
void fpu_area_save(void *, uint64_t, bool);
fpu_area_save(area, x86_xsave_features, !(l->l_proc->p_flag & PK_32));
fpu_area_save(pcb->pcb_savefpu, x86_xsave_features,
fpu_area_save(&cpudata->gfpu, XCR0_X87|XCR0_SSE, false);
fpu_area_save(&cpudata->gfpu, cpudata->xcr0_mask, false);
fpu_area_save(&cpudata->gfpu, XCR0_X87|XCR0_SSE, false);
fpu_area_save(&cpudata->gfpu, cpudata->xcr0_mask, false);