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);