__int64 __fastcall MiCountCommittedPages(unsigned __int64 a1, unsigned __int64 a2, __int64 a3, __int64 a4){
char v8;
__int64 v9;
v8 = MiLockWorkingSetShared(a4);
v9 = MiComputePageCommitment(a1, a2, a3, v8, 0, 0i64);
MiUnlockWorkingSetShared(a4, v8);
return v9;
}