process_write_fpregs
return process_write_fpregs(t, addr);
int process_write_fpregs(struct proc *_t, struct fpreg *);