Counting semaphores are available as an alternative primitive for managing threads within device drivers. See semaphore(9F) for more information.