KiReleaseThreadStateLock

void __fastcall KiReleaseThreadStateLock(__int64 a1, __int64 a2, volatile signed __int64 *a3){
  if( a2 )
    _InterlockedAnd64((volatile signed __int64 *)(a2 + 48), 0i64);
  if( a3 )
    _InterlockedAnd64(a3, 0i64);
}

Referenced by: