reg_list_mutex    807 drivers/char/ipmi/ipmi_devintf.c static DEFINE_MUTEX(reg_list_mutex);
reg_list_mutex    823 drivers/char/ipmi/ipmi_devintf.c 	mutex_lock(&reg_list_mutex);
reg_list_mutex    826 drivers/char/ipmi/ipmi_devintf.c 	mutex_unlock(&reg_list_mutex);
reg_list_mutex    834 drivers/char/ipmi/ipmi_devintf.c 	mutex_lock(&reg_list_mutex);
reg_list_mutex    843 drivers/char/ipmi/ipmi_devintf.c 	mutex_unlock(&reg_list_mutex);
reg_list_mutex    894 drivers/char/ipmi/ipmi_devintf.c 	mutex_lock(&reg_list_mutex);
reg_list_mutex    900 drivers/char/ipmi/ipmi_devintf.c 	mutex_unlock(&reg_list_mutex);