Concurrency control in linux device driver