use mutex instead of semaphore for misc char devices