Searched refs:random_pause (Results 1 – 1 of 1) sorted by relevance
194 random_pause(void) in random_pause() function454 random_pause();490 random_pause();606 random_pause(); /* wait a bit to allow the lock threads to run */623 random_pause(); /* wait for waiter #1 to complete */634 random_pause(); /* wait for waiter #2 to complete */644 random_pause(); /* wait for waiters #0 and #3 to complete */726 random_pause(); /* wait a bit to see if there are consequences for the waiting locks */737 random_pause(); /* wait a bit to see if there are consequences for the waiting locks */759 random_pause(); /* wait for consequences for the waiting locks */