process_write_regs
return process_write_regs(t, addr);
int process_write_regs(struct proc *_t, struct reg *);