UNLOCK_ADDRESS_SPACE_SHARED

void __fastcall UNLOCK_ADDRESS_SPACE_SHARED(__int64 a1, __int64 a2){
  void *v2; 
  *(_BYTE *)(a1 + 1304) &= ~2u;
  v2 = (void *)(a2 + 1224);
  if( _InterlockedCompareExchange64((volatile signed __int64 *)(a2 + 1224), 0i64, 17i64) != 17 )
    ExfReleasePushLockShared((INT64 *)(a2 + 1224));
  KeAbPostRelease(v2);
  if( (*(_WORD *)(a1 + 486))++ == 0xFFFF && *(_QWORD *)(a1 + 152) != a1 + 152 )
    KiCheckForKernelApcDelivery();
}

Referenced by: