diff --git a/include/coreinit/debug.h b/include/coreinit/debug.h
index e21ea338..7d217362 100644
--- a/include/coreinit/debug.h
+++ b/include/coreinit/debug.h
@@ -97,7 +97,7 @@ OSPanic(const char *file,
         uint32_t line,
         const char *fmt,
         ...)
-   WUT_FORMAT_PRINTF(3, 4);
+   WUT_FORMAT_PRINTF(3, 4) WUT_NORETURN;
 
 /**
  * Displays a message on TV and gamepad screens via OSScreen, and halts the system via \link OSPanic \endlink
@@ -105,7 +105,7 @@ OSPanic(const char *file,
  * \sa coreinit_screen
  */
 void
-OSFatal(const char *msg);
+OSFatal(const char *msg) WUT_NORETURN;
 
 /**
  * Switch to the fatal error process ("An error has occured." screen)
@@ -118,7 +118,7 @@ OSFatal(const char *msg);
 void
 OSSendFatalError(OSFatalError *error,
                  const char *functionName,
-                 uint32_t line);
+                 uint32_t line) WUT_NORETURN;
 
 uint32_t
 OSGetSymbolName(uint32_t addr,
diff --git a/include/wut.h b/include/wut.h
index c280cc11..f721a9bf 100644
--- a/include/wut.h
+++ b/include/wut.h
@@ -10,6 +10,7 @@
 
 #define WUT_DEPRECATED(reason)       __attribute__((__deprecated__(reason)))
 #define WUT_FORMAT_PRINTF(fmt, args) __attribute__((__format__(__printf__, fmt, args)))
+#define WUT_NORETURN __attribute__((noreturn))
 
 #else // not __GNUC__ and not __clang__