Searched refs:kmdb_dpi_handle_fault (Results 1 – 3 of 3) sorted by relevance
42 extern void kmdb_dpi_handle_fault(kreg_t, kreg_t, kreg_t, int);
44 kmdb_dpi_handle_fault(kreg_t trapno, kreg_t pc, kreg_t sp, int cpuid) in kmdb_dpi_handle_fault() function
784 kmdb_dpi_handle_fault((kreg_t)trapno, (kreg_t)pc, in kaif_handle_fault()