MiDereferenceVad

_BOOL8 __fastcall MiDereferenceVad(__int64 a1){
  signed __int32 v1; 
  v1 = _InterlockedDecrement((volatile signed __int32 *)(a1 + 36));
  if( v1 == -1 )
    __fastfail(0xEu);
  return !v1 && (*(_DWORD *)(a1 + 48) & 4) != 0;
}

Referenced by:

MiFinishVadDeletion
MiUnlockAndDereferenceNestedVad
NtAreMappedFilesTheSame