Searched refs:kmdb_dpi_fault_pcb (Results 1 – 3 of 3) sorted by relevance
59 if (kmdb_dpi_fault_pcb != NULL) { in kmdb_dpi_handle_fault()60 longjmp(*kmdb_dpi_fault_pcb, 1); in kmdb_dpi_handle_fault()
47 jmp_buf *kmdb_dpi_fault_pcb; variable156 jmp_buf *oldpcb = kmdb_dpi_fault_pcb; in kmdb_dpi_set_fault_hdlr()158 kmdb_dpi_fault_pcb = jb; in kmdb_dpi_set_fault_hdlr()
46 extern jmp_buf *kmdb_dpi_fault_pcb;