thunk_getcontext
thunk_getcontext(&sc->sc_ucp);
if (thunk_getcontext(&pcb2->pcb_ucp))
thunk_getcontext(&lwp0pcb.pcb_ucp);
int thunk_getcontext(ucontext_t *);