/* * turnstile_wakeup: * * Wake up the specified number of threads that are blocked * in a turnstile. */