ipmi_watchdog_mutex  125 drivers/char/ipmi/ipmi_watchdog.c static DEFINE_MUTEX(ipmi_watchdog_mutex);
ipmi_watchdog_mutex  447 drivers/char/ipmi/ipmi_watchdog.c 	mutex_lock(&ipmi_watchdog_mutex);
ipmi_watchdog_mutex  449 drivers/char/ipmi/ipmi_watchdog.c 	mutex_unlock(&ipmi_watchdog_mutex);
ipmi_watchdog_mutex  650 drivers/char/ipmi/ipmi_watchdog.c 	mutex_lock(&ipmi_watchdog_mutex);
ipmi_watchdog_mutex  652 drivers/char/ipmi/ipmi_watchdog.c 	mutex_unlock(&ipmi_watchdog_mutex);
ipmi_watchdog_mutex  738 drivers/char/ipmi/ipmi_watchdog.c 	mutex_lock(&ipmi_watchdog_mutex);
ipmi_watchdog_mutex  740 drivers/char/ipmi/ipmi_watchdog.c 	mutex_unlock(&ipmi_watchdog_mutex);
ipmi_watchdog_mutex  874 drivers/char/ipmi/ipmi_watchdog.c 			mutex_lock(&ipmi_watchdog_mutex);
ipmi_watchdog_mutex  877 drivers/char/ipmi/ipmi_watchdog.c 			mutex_unlock(&ipmi_watchdog_mutex);
ipmi_watchdog_mutex 1083 drivers/char/ipmi/ipmi_watchdog.c 	mutex_lock(&ipmi_watchdog_mutex);
ipmi_watchdog_mutex 1093 drivers/char/ipmi/ipmi_watchdog.c 	mutex_unlock(&ipmi_watchdog_mutex);