ipmidriver_mutex  636 drivers/char/ipmi/ipmi_msghandler.c static DEFINE_MUTEX(ipmidriver_mutex);
ipmidriver_mutex 2995 drivers/char/ipmi/ipmi_msghandler.c 	mutex_lock(&ipmidriver_mutex);
ipmidriver_mutex 3106 drivers/char/ipmi/ipmi_msghandler.c 	mutex_unlock(&ipmidriver_mutex);