makectx
void makectx(struct trapframe *, struct pcb *);
void makectx(struct trapframe *tf, struct pcb *pcb);
void makectx(struct trapframe *tf, struct pcb *pcb);
void makectx(struct trapframe *, struct pcb *);
makectx(tf, &kdb_pcb);
void makectx(struct trapframe *, struct pcb *);
void makectx(struct trapframe *tf, struct pcb *pcb);