fork_trampoline
pcb2->pcb_rip = (register_t)fork_trampoline;
void fork_trampoline(void);
pcb2->pcb_regs.sf_lr = (register_t)fork_trampoline;
td->td_pcb->pcb_regs.sf_lr = (register_t)fork_trampoline;
void fork_trampoline(void);
td2->td_pcb->pcb_x[PCB_LR] = (uintptr_t)fork_trampoline;
td->td_pcb->pcb_x[PCB_LR] = (uintptr_t)fork_trampoline;
void fork_trampoline(void);
pcb2->pcb_eip = (int)fork_trampoline + setidt_disp;
void fork_trampoline(void);
void fork_trampoline(void);
pcb2->pcb_lr = ((register_t *)fork_trampoline)[0];
pcb2->pcb_toc = ((register_t *)fork_trampoline)[1];
pcb2->pcb_lr = (register_t)fork_trampoline;
pcb->pcb_lr = ((register_t *)fork_trampoline)[0];
pcb->pcb_toc = ((register_t *)fork_trampoline)[1];
pcb->pcb_lr = (register_t)fork_trampoline;
void fork_trampoline(void);
td2->td_pcb->pcb_ra = (uintptr_t)fork_trampoline;
td->td_pcb->pcb_ra = (uintptr_t)fork_trampoline;
td->td_pcb->pcb_ra = (uintptr_t)fork_trampoline;