Semaphore upping done with irqsave