diff --git a/reactos/boot/freeldr/freeldr/debug.c b/reactos/boot/freeldr/freeldr/debug.c
index daabc6715f3..6d7d4e9e934 100644
--- a/reactos/boot/freeldr/freeldr/debug.c
+++ b/reactos/boot/freeldr/freeldr/debug.c
@@ -340,6 +340,7 @@ MsgBoxPrint(const char *Format, ...)
 	return 0;
 }
 
+DECLSPEC_NORETURN
 NTKERNELAPI
 VOID
 NTAPI
diff --git a/reactos/include/ddk/wdm.h b/reactos/include/ddk/wdm.h
index 8da3a5ab485..50c75eb9e77 100644
--- a/reactos/include/ddk/wdm.h
+++ b/reactos/include/ddk/wdm.h
@@ -9772,8 +9772,8 @@ KeInitializeSpinLock(IN PKSPIN_LOCK SpinLock)
 }
 #endif
 
+DECLSPEC_NORETURN
 NTKERNELAPI
-//DECLSPEC_NORETURN
 VOID
 NTAPI
 KeBugCheckEx(
diff --git a/reactos/include/xdk/kefuncs.h b/reactos/include/xdk/kefuncs.h
index eb5c7a25c5e..ae37e3a4409 100644
--- a/reactos/include/xdk/kefuncs.h
+++ b/reactos/include/xdk/kefuncs.h
@@ -207,8 +207,8 @@ KeInitializeSpinLock(IN PKSPIN_LOCK SpinLock)
 }
 #endif
 
+DECLSPEC_NORETURN
 NTKERNELAPI
-//DECLSPEC_NORETURN
 VOID
 NTAPI
 KeBugCheckEx(