UINT8 __stdcall RtlpTraceDatabaseReleaseLock(_RTL_TRACE_DATABASE *Database){
unsigned __int64 v1;
*((_QWORD *)Database + 6) = 0i64;
if( (Database[1] & 4) != 0 )
{
v1 = *((unsigned __int8 *)Database + 40);
KxReleaseSpinLock((UINT64 *)Database + 7);
__writecr8(v1);
}
else
{
KeReleaseGuardedMutex((PKGUARDED_MUTEX)Database + 1);
}
return 1;
}