NTSTATUS __fastcall MmUnlockPreChargedPagedPool(UINT64 a1){
_MMPTE *PteAddress;
__int64 v2;
__int16 v3;
NTSTATUS result;
PteAddress = MiGetPteAddress((VOID *)a1);
MiUnlockCodePage(PteAddress, &PteAddress[(((unsigned __int64)(v3 & 0xFFF) + v2 + 4095) >> 12) - 1]);
return result;
}