fpusave
fpusave(sfp);
fpusave(&p->p_addr->u_pcb.pcb_savefpu);
fpusave(&pcb1->pcb_savefpu);
void fpusave(struct savefpu *);