save_fpu
save_fpu(fputd);
void save_fpu(struct thread *);
save_fpu(td);
save_fpu(td);
save_fpu(td);
save_fpu(td);
save_fpu(td);
save_fpu(fputhread);
save_fpu(td);