Searched refs:kmdb_dpi_fault_pcb (Results 1 – 4 of 4) sorted by relevance
52 kmdb_dpi_fault_pcb); in kmdb_dpi_handle_fault()69 if (kmdb_dpi_fault_pcb != NULL) { in kmdb_dpi_handle_fault()70 longjmp(*kmdb_dpi_fault_pcb, 1); in kmdb_dpi_handle_fault()
58 if (kmdb_dpi_fault_pcb != NULL) { in kmdb_dpi_handle_fault()59 longjmp(*kmdb_dpi_fault_pcb, 1); in kmdb_dpi_handle_fault()
49 jmp_buf *kmdb_dpi_fault_pcb; variable158 jmp_buf *oldpcb = kmdb_dpi_fault_pcb; in kmdb_dpi_set_fault_hdlr()160 kmdb_dpi_fault_pcb = jb; in kmdb_dpi_set_fault_hdlr()
46 extern jmp_buf *kmdb_dpi_fault_pcb;