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