MiUnlockFaultWorkingSet

VOID __stdcall MiUnlockFaultWorkingSet(INT64 a1, _XSTATE_CONFIGURATION *a2){
  bool v2; 
  _MMSUPPORT_INSTANCE *v3; 

  LOBYTE(a2) = *(_BYTE *)(a1 + 12);
  v2 = (*(_BYTE *)(a1 + 13) & 1) == 0;
  v3 = *(_MMSUPPORT_INSTANCE **)a1;
  if( v2 )
    MiUnlockWorkingSetShared(v3, (UINT64)a2);
  else
    MiUnlockWorkingSetExclusive(v3, (UINT8)a2);
}

Referenced by: