On Thu, Mar 14, 2013 at 9:20 PM, Jonathan Gray <j...@jsg.id.au> wrote: > The following diff changes wakeup so it will return > the number of processes it has woken up. Mostly > useful for debugging and error checking. > > I initialy had a seperate function to check for a pending > wakeup but switched to the following after a suggestion from guenther.
Yep, that looks like it should. ok guenther@