handled_commands 3797 drivers/char/ipmi/ipmi_msghandler.c 				ipmi_inc_stat(intf, handled_commands);
handled_commands 3957 drivers/char/ipmi/ipmi_msghandler.c 				ipmi_inc_stat(intf, handled_commands);
handled_commands 4064 drivers/char/ipmi/ipmi_msghandler.c 				ipmi_inc_stat(intf, handled_commands);