BOOL __stdcall MiReducePteUseCount(INT64 a1, UINT16 a2){
unsigned int v2;
VOID *v3;
int v4;
v2 = a2;
LODWORD(v3) = MiGetUsedPtesHandle((PSLIST_ENTRY)(((a1 << 25) - ((_QWORD)MmGetPteBase() << 25)) >> 16));
LOWORD(v4) = MiDecreaseUsedPtesCount(v3, v2);
return v4 == 0;
}