generic_lwp_return
void generic_lwp_return (struct lwp *, struct trapframe *);
generic_lwp_return(lp, frame);
(void (*)(void *, struct trapframe *))generic_lwp_return, lp);
generic_lwp_return(lp, frame);
(void (*)(void *, struct trapframe *))generic_lwp_return, lp);