INT64 __fastcall MiLockPoolCommitWs(INT64 a1){
unsigned __int8 CurrentIrql;
INT64 v3;
CurrentIrql = KeGetCurrentIrql();
__writecr8(2ui64);
v3 = *(_QWORD *)(a1 + 48);
*(_BYTE *)(a1 + 76) = CurrentIrql;
return MiLockWorkingSetShared(v3);
}