__int64 __fastcall RtlWriteReleaseTickLock(__int64 *a1){ __int64 result; result = *a1 + 1; *a1 = result; return result; }