smi_send         2280 drivers/char/ipmi/ipmi_msghandler.c 		smi_send(intf, intf->handlers, smi_msg, priority);
smi_send         3749 drivers/char/ipmi/ipmi_msghandler.c 			smi_send(intf, intf->handlers, msg, 0);
smi_send         4669 drivers/char/ipmi/ipmi_msghandler.c 			smi_send(intf, intf->handlers, smi_msg, 0);