+
+ /* Don't change the start of kernel map. Pte's must always exist for this region. */
+ MiKernelMapStart = (PVOID)LastKernelAddress + PAGE_SIZE;
+ MiKernelMapLength = MM_KERNEL_MAP_SIZE;
+
+ MiNonPagedPoolStart = MiKernelMapStart + MiKernelMapLength + PAGE_SIZE;
+ MiNonPagedPoolLength = MM_NONPAGED_POOL_SIZE;
+
+ MmPagedPoolBase = MiNonPagedPoolStart + MiNonPagedPoolLength + PAGE_SIZE;
+ MmPagedPoolSize = MM_PAGED_POOL_SIZE;
+
+
+ MiInitKernelMap();
+ MiInitializeNonPagedPool();