MiUnlockDynamicMemoryShared

VOID __fastcall MiUnlockDynamicMemoryShared(INT64 a1, INT64 a2){
  INT64 *v2; 
  v2 = (INT64 *)(a1 + 192);
  if( _InterlockedCompareExchange64((volatile signed __int64 *)(a1 + 192), 0i64, 17i64) != 17 )
    ExfReleasePushLockShared(v2);
  KeAbPostRelease(v2);
  if( (*(_WORD *)(a2 + 486))++ == 0xFFFF && *(_QWORD *)(a2 + 152) != a2 + 152 )
    KiCheckForKernelApcDelivery();
}

Referenced by: