ipmi_get_maintenance_mode  588 drivers/char/ipmi/ipmi_devintf.c 		mode = ipmi_get_maintenance_mode(priv->user);
ipmi_get_maintenance_mode 1498 drivers/char/ipmi/ipmi_msghandler.c EXPORT_SYMBOL(ipmi_get_maintenance_mode);
ipmi_get_maintenance_mode  246 include/linux/ipmi.h int ipmi_get_maintenance_mode(struct ipmi_user *user);