kmdb_dpi_handle_fault
kmdb_dpi_handle_fault((kreg_t)trapno, (kreg_t)pc,
extern void kmdb_dpi_handle_fault(kreg_t, kreg_t, kreg_t, int);