smi_recv_tasklet   41 drivers/char/ipmi/ipmi_msghandler.c static void smi_recv_tasklet(unsigned long);
smi_recv_tasklet 3449 drivers/char/ipmi/ipmi_msghandler.c 		     smi_recv_tasklet,
smi_recv_tasklet 4559 drivers/char/ipmi/ipmi_msghandler.c 		smi_recv_tasklet((unsigned long) intf);