VOID __fastcall SepRmDereferenceCapTable(volatile INT64 *a1){
signed __int64 v1;
bool v2;
signed __int64 v3;
v1 = _InterlockedExchangeAdd64(a1 + 5, 0xFFFFFFFFFFFFFFFFui64);
v2 = v1 <= 1;
v3 = v1 - 1;
if( v2 )
{
if( v3 )
__fastfail(0xEu);
SepRmDestroyCapTable((PVOID)a1);
}
}