Merge branch 'dde' into HEAD

1 files changed, 16 insertions, 0 deletions

diff --git a/libddekit/include/ddekit/panic.h b/libddekit/include/ddekit/panic.h
new file mode 100644
index 00000000..1468675f
--- /dev/null
+++ b/libddekit/include/ddekit/panic.h
@@ -0,0 +1,16 @@
+#ifndef _ddekit_panic_h
+#define _ddekit_panic_h
+
+/** \defgroup DDEKit_util */
+
+/** Panic - print error message and enter the kernel debugger.
+ * \ingroup DDEKit_util
+ */
+void ddekit_panic(char *fmt, ...) __attribute__((noreturn));
+
+/** Print a debug message.
+ * \ingroup DDEKit_util
+ */
+void ddekit_debug(char *fmt, ...);
+
+#endif