KxWaitForSpinLockAndAcquire

UINT64 __stdcall KxWaitForSpinLockAndAcquire(UINT64 *SpinLock){
  unsigned int v1; 
  v1 = 0;
  do
  {
    do
    {
      ++v1;
      _mm_pause();
    }
    while( *SpinLock );
  }
  while( _interlockedbittestandset64((volatile signed __int32 *)SpinLock, 0i64) );
  return v1;
}

Referenced by: