smi_watchers_mutex  646 drivers/char/ipmi/ipmi_msghandler.c static DEFINE_MUTEX(smi_watchers_mutex);
smi_watchers_mutex  758 drivers/char/ipmi/ipmi_msghandler.c 	mutex_lock(&smi_watchers_mutex);
smi_watchers_mutex  772 drivers/char/ipmi/ipmi_msghandler.c 	mutex_unlock(&smi_watchers_mutex);
smi_watchers_mutex  780 drivers/char/ipmi/ipmi_msghandler.c 	mutex_lock(&smi_watchers_mutex);
smi_watchers_mutex  782 drivers/char/ipmi/ipmi_msghandler.c 	mutex_unlock(&smi_watchers_mutex);
smi_watchers_mutex  795 drivers/char/ipmi/ipmi_msghandler.c 	mutex_lock(&smi_watchers_mutex);
smi_watchers_mutex  802 drivers/char/ipmi/ipmi_msghandler.c 	mutex_unlock(&smi_watchers_mutex);
smi_watchers_mutex 3601 drivers/char/ipmi/ipmi_msghandler.c 	mutex_lock(&smi_watchers_mutex);
smi_watchers_mutex 3604 drivers/char/ipmi/ipmi_msghandler.c 	mutex_unlock(&smi_watchers_mutex);