auto_maintenance_timeout  571 drivers/char/ipmi/ipmi_msghandler.c 	int auto_maintenance_timeout;
auto_maintenance_timeout 1522 drivers/char/ipmi/ipmi_msghandler.c 				= (intf->auto_maintenance_timeout > 0);
auto_maintenance_timeout 1906 drivers/char/ipmi/ipmi_msghandler.c 		intf->auto_maintenance_timeout
auto_maintenance_timeout 4724 drivers/char/ipmi/ipmi_msghandler.c 	if (intf->auto_maintenance_timeout > 0) {
auto_maintenance_timeout 4726 drivers/char/ipmi/ipmi_msghandler.c 		if (intf->auto_maintenance_timeout > 0) {
auto_maintenance_timeout 4727 drivers/char/ipmi/ipmi_msghandler.c 			intf->auto_maintenance_timeout
auto_maintenance_timeout 4730 drivers/char/ipmi/ipmi_msghandler.c 			    && (intf->auto_maintenance_timeout <= 0)) {