MiReleaseFaultState

__int64 __fastcall MiReleaseFaultState(INT64 a1, UINT8 a2, _BYTE *a3){
  _MMSUPPORT_INSTANCE *v3; 
  __int64 v5; 
  UINT64 v8; 

  v3 = *(_MMSUPPORT_INSTANCE **)a1;
  v5 = *(_QWORD *)(a1 + 16);
  MiUnlockFaultPageTable(a1);
  if( a3 )
    *a3 = *(_BYTE *)(a1 + 12);
  else
    a2 = *(_BYTE *)(a1 + 12);
  LOBYTE(v8) = a2;
  if( (*(_BYTE *)(a1 + 13) & 1) != 0 )
    MiUnlockWorkingSetExclusive(v3, a2);
  else
    MiUnlockWorkingSetShared(v3, v8);
  return v5;
}

Referenced by: