#include <ntoskrnl.h>
#include <internal/debug.h>
+#if defined (ALLOC_PRAGMA)
+#pragma alloc_text(INIT, MmInitializeKernelAddressSpace)
+#endif
+
+
/* GLOBALS ******************************************************************/
STATIC MADDRESS_SPACE KernelAddressSpace;