Semaphores and CVs have irqsave initializers