VOID __stdcall MmLockPreChargedPagedPool(PVOID PagedPoolVa, UINT64 a2){
MMPTE *PteAddress;
__int64 v3;
__int16 v4;
PteAddress = MiGetPteAddress(PagedPoolVa);
MiLockCode(
0i64,
(unsigned __int64)PteAddress,
(unsigned __int64)PteAddress + 8 * (((unsigned __int64)(v4 & 0xFFF) + v3 + 4095) >> 12) - 8,
1);
}