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);