/* INCLUDES *****************************************************************/
-#include <ddk/ntddk.h>
#include <hal.h>
-
#define NDEBUG
-#include <internal/debug.h>
+#include <debug.h>
+
/* FUNCTIONS ****************************************************************/
+
+VOID
+NTAPI
+HalAllocateCrashDumpRegisters(
+ ULONG Unknown1,
+ ULONG Unknown2)
+{
+ UNIMPLEMENTED;
+}
+
+
VOID STDCALL
HalHandleNMI(ULONG Unused)
{