kgdboc_reset_mutex   73 drivers/tty/serial/kgdboc.c static DEFINE_MUTEX(kgdboc_reset_mutex);
kgdboc_reset_mutex   82 drivers/tty/serial/kgdboc.c 	mutex_lock(&kgdboc_reset_mutex);
kgdboc_reset_mutex   87 drivers/tty/serial/kgdboc.c 	mutex_unlock(&kgdboc_reset_mutex);