process_write_xstate
return process_write_xstate(l, regs);
int process_write_xstate(struct lwp *, const struct xstate *);