process_read_xstate
return process_read_xstate(l, regs);
if (!process_read_xstate(l, &xstate)) \
return process_read_xstate(l, regs);
if (!process_read_xstate(l, &xstate)) \
int process_read_xstate(struct lwp *, struct xstate *);