kmdb_dpi_set_fault_hdlr
(void) kmdb_dpi_set_fault_hdlr(jb);
extern jmp_buf *kmdb_dpi_set_fault_hdlr(jmp_buf *);
old = kmdb_dpi_set_fault_hdlr(&pcb);
mid.mid_oldpcb = kmdb_dpi_set_fault_hdlr(&mid.mid_pcb);
oldpcb = kmdb_dpi_set_fault_hdlr(&pcb);
mid->mid_oldpcb = kmdb_dpi_set_fault_hdlr(&mid->mid_pcb);
oldpcb = kmdb_dpi_set_fault_hdlr(&pcb);
oldpcb = kmdb_dpi_set_fault_hdlr(&pcb);
oldpcb = kmdb_dpi_set_fault_hdlr(&pcb);
oldpcb = kmdb_dpi_set_fault_hdlr(&pcb);