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