process_write_xstate
int process_write_xstate(struct proc *, void *);
return process_write_xstate(t, addr);