IB/srp: Semaphore to mutex conversion