1 files changed, 7 insertions, 0 deletions
diff --git a/include/panic.h b/include/panic.h
index f42a399efa..d22a0e11be 100644
--- a/include/panic.h
+++ b/include/panic.h
@@ -85,4 +85,11 @@ void panic(const char *msg);
  */
 void report_panic(const char *msg, uint32_t *lregs);
 
+/**
+ * Enable/disable bus fault handler
+ *
+ * @param ignored	Non-zero if ignoring bus fault
+ */
+void ignore_bus_fault(int ignored);
+
 #endif