fork_return
void fork_return (struct lwp *, struct trapframe *);
pcb2->pcb_rbx = (unsigned long)fork_return; /* fork_trampoline argument */
pcb2->pcb_rbx = (unsigned long)fork_return; /* fork_trampoline argument */