reading_mutex      39 drivers/char/hw_random/core.c static DEFINE_MUTEX(reading_mutex);
reading_mutex      69 drivers/char/hw_random/core.c 	mutex_lock(&reading_mutex);
reading_mutex      71 drivers/char/hw_random/core.c 	mutex_unlock(&reading_mutex);
reading_mutex     186 drivers/char/hw_random/core.c 	BUG_ON(!mutex_is_locked(&reading_mutex));
reading_mutex     220 drivers/char/hw_random/core.c 		if (mutex_lock_interruptible(&reading_mutex)) {
reading_mutex     257 drivers/char/hw_random/core.c 		mutex_unlock(&reading_mutex);
reading_mutex     272 drivers/char/hw_random/core.c 	mutex_unlock(&reading_mutex);
reading_mutex     430 drivers/char/hw_random/core.c 		mutex_lock(&reading_mutex);
reading_mutex     433 drivers/char/hw_random/core.c 		mutex_unlock(&reading_mutex);