diff --git a/reactos/hal/halamd64/generic/hal.c b/reactos/hal/halamd64/generic/hal.c
index 82c60f243e6..759c0fbefcb 100644
--- a/reactos/hal/halamd64/generic/hal.c
+++ b/reactos/hal/halamd64/generic/hal.c
@@ -120,7 +120,7 @@ VOID
 NTAPI
 HalStopProfileInterrupt(IN KPROFILE_SOURCE ProfileSource)
 {
-    KEBUGCHECK(0);
+    KeBugCheck(0);
     return;
 }
 
@@ -131,7 +131,7 @@ VOID
 NTAPI
 HalStartProfileInterrupt(IN KPROFILE_SOURCE ProfileSource)
 {
-    KEBUGCHECK(0);
+    KeBugCheck(0);
     return;
 }
 
@@ -142,7 +142,7 @@ ULONG_PTR
 NTAPI
 HalSetProfileInterval(IN ULONG_PTR Interval)
 {
-    KEBUGCHECK(0);
+    KeBugCheck(0);
     return Interval;
 }
 
diff --git a/reactos/hal/halppc/generic/bus.c b/reactos/hal/halppc/generic/bus.c
index a35adbe315a..23bf9f685af 100644
--- a/reactos/hal/halppc/generic/bus.c
+++ b/reactos/hal/halppc/generic/bus.c
@@ -222,7 +222,7 @@ HalGetBusDataByOffset(IN BUS_DATA_TYPE BusDataType,
     else if (BusDataType == EisaConfiguration)
     {
         /* FIXME: TODO */
-        KEBUGCHECK(0);
+        KeBugCheck(0);
     }
     else if ((BusDataType == PCIConfiguration) &&
              (HalpPCIConfigInitialized) &&
diff --git a/reactos/hal/halppc/generic/dma.c b/reactos/hal/halppc/generic/dma.c
index aaaef9117b4..9ba4bbb0546 100644
--- a/reactos/hal/halppc/generic/dma.c
+++ b/reactos/hal/halppc/generic/dma.c
@@ -1485,9 +1485,7 @@ HalpCopyBufferMap(
        * NOTE: On real NT a mechanism with reserved pages is implemented
        * to handle this case in a slow, but graceful non-fatal way.
        */
-      /* FIXME: The correct bug check code isn't defined. */
-      /* KEBUGCHECKEX(HAL_MEMORY_ALLOCATION, PAGE_SIZE, 0, (ULONG_PTR)__FILE__, 0); */
-      KEBUGCHECK(0);
+      KeBugCheckEx(HAL_MEMORY_ALLOCATION, PAGE_SIZE, 0, (ULONG_PTR)__FILE__, 0);
    }
 
    CurrentAddress = (ULONG_PTR)VirtualAddress +
diff --git a/reactos/hal/halppc/generic/irql.c b/reactos/hal/halppc/generic/irql.c
index 177b29079de..5cc5a8053ae 100644
--- a/reactos/hal/halppc/generic/irql.c
+++ b/reactos/hal/halppc/generic/irql.c
@@ -216,7 +216,7 @@ KfLowerIrql (KIRQL	NewIrql)
     {
       DbgPrint ("(%s:%d) NewIrql %x CurrentIrql %x\n",
 		__FILE__, __LINE__, NewIrql, KeGetPcr()->Irql);
-      KEBUGCHECK(0);
+      KeBugCheck(0);
       for(;;);
     }
 
@@ -251,7 +251,7 @@ KfRaiseIrql (KIRQL	NewIrql)
     {
       DbgPrint ("%s:%d CurrentIrql %x NewIrql %x\n",
 		__FILE__,__LINE__,KeGetPcr()->Irql,NewIrql);
-      KEBUGCHECK (0);
+      KeBugCheck (0);
       for(;;);
     }
 
@@ -424,7 +424,7 @@ HalRequestSoftwareInterrupt(
       break;
 
     default:
-      KEBUGCHECK(0);
+      KeBugCheck(0);
   }
 }
 
@@ -443,7 +443,7 @@ HalClearSoftwareInterrupt(
       break;
 
     default:
-      KEBUGCHECK(0);
+      KeBugCheck(0);
   }
 }
 
diff --git a/reactos/hal/halppc/generic/pci.c b/reactos/hal/halppc/generic/pci.c
index 867f54961d2..c2084324522 100644
--- a/reactos/hal/halppc/generic/pci.c
+++ b/reactos/hal/halppc/generic/pci.c
@@ -496,7 +496,7 @@ HalpAssignPCISlotResources(IN PBUS_HANDLER BusHandler,
                            IN ULONG Slot,
                            IN OUT PCM_RESOURCE_LIST *pAllocatedResources)
 {
-    KEBUGCHECK(0);
+    KeBugCheck(0);
     return STATUS_SUCCESS;
 }
 
diff --git a/reactos/hal/halppc/generic/profil.c b/reactos/hal/halppc/generic/profil.c
index 2c7959d3f8d..6a018541ff0 100644
--- a/reactos/hal/halppc/generic/profil.c
+++ b/reactos/hal/halppc/generic/profil.c
@@ -21,7 +21,7 @@ VOID
 NTAPI
 HalStopProfileInterrupt(IN KPROFILE_SOURCE ProfileSource)
 {
-    KEBUGCHECK(0);
+    KeBugCheck(0);
     return;
 }
 
@@ -32,7 +32,7 @@ VOID
 NTAPI
 HalStartProfileInterrupt(IN KPROFILE_SOURCE ProfileSource)
 {
-    KEBUGCHECK(0);
+    KeBugCheck(0);
     return;
 }
 
@@ -43,7 +43,7 @@ ULONG_PTR
 NTAPI
 HalSetProfileInterval(IN ULONG_PTR Interval)
 {
-    KEBUGCHECK(0);
+    KeBugCheck(0);
     return Interval;
 }
 
diff --git a/reactos/hal/halx86/generic/dma.c b/reactos/hal/halx86/generic/dma.c
index 0f060f4c3a0..6bda263146c 100644
--- a/reactos/hal/halx86/generic/dma.c
+++ b/reactos/hal/halx86/generic/dma.c
@@ -1487,9 +1487,7 @@ HalpCopyBufferMap(
        * NOTE: On real NT a mechanism with reserved pages is implemented
        * to handle this case in a slow, but graceful non-fatal way.
        */
-      /* FIXME: The correct bug check code isn't defined. */
-      /* KEBUGCHECKEX(HAL_MEMORY_ALLOCATION, PAGE_SIZE, 0, (ULONG_PTR)__FILE__, 0); */
-      ASSERT(FALSE);
+      KeBugCheckEx(HAL_MEMORY_ALLOCATION, PAGE_SIZE, 0, (ULONG_PTR)__FILE__, 0);
    }
 
    CurrentAddress = (ULONG_PTR)VirtualAddress +
diff --git a/reactos/include/reactos/mc/bugcodes.mc b/reactos/include/reactos/mc/bugcodes.mc
index 6b8db40ad7a..38232ee3a56 100644
--- a/reactos/include/reactos/mc/bugcodes.mc
+++ b/reactos/include/reactos/mc/bugcodes.mc
@@ -1168,6 +1168,14 @@ Language=English
 The system is booting in safemode - Directory Services Repair
 .
 
+MessageId=0xAC
+Severity=Success
+Facility=System
+SymbolicName=HAL_MEMORY_ALLOCATION
+Language=English
+HAL_MEMORY_ALLOCATION
+.
+
 MessageId=0xB4
 Severity=Success
 Facility=System