//
// Now get the PTE for shared data, and read the PFN that holds it
//
- PointerPte = MiAddressToPte(KI_USER_SHARED_DATA);
+ PointerPte = MiAddressToPte((PVOID)KI_USER_SHARED_DATA);
ASSERT(PointerPte->u.Hard.Valid == 1);
PageFrameNumber = PFN_FROM_PTE(PointerPte);
- //
- // Now write a copy of it
- //
- MI_MAKE_OWNER_PAGE(&TempPte);
- TempPte.u.Hard.PageFrameNumber = PageFrameNumber;
+ /* Build the PTE and write it */
+ MI_MAKE_HARDWARE_PTE_KERNEL(&TempPte,
+ PointerPte,
+ MM_READONLY,
+ PageFrameNumber);
*MmSharedUserDataPte = TempPte;
/* Setup the memory threshold events */
/* Initialize the balance set manager */
MmInitBsmThread();
}
- else if (Phase == 2)
- {
- /* Enough fun for now */
- extern BOOLEAN AllowPagedPool;
- AllowPagedPool = FALSE;
- }
return TRUE;
}