INT64 __fastcall MiDecrementCloneHeaderCount(INT64 a1){
INT64 result;
result = _InterlockedExchangeAdd64((volatile signed __int64 *)(a1 + 1368), 0xFFFFFFFFFFFFFFFFui64);
if( result == 1 )
LODWORD(result) = KeSetEvent(*(PRKEVENT *)(a1 + 2136), 0);
return result;
}