deliver_count    4095 drivers/char/ipmi/ipmi_msghandler.c 	int rv = 0, deliver_count = 0, index;
deliver_count    4141 drivers/char/ipmi/ipmi_msghandler.c 		deliver_count++;
deliver_count    4150 drivers/char/ipmi/ipmi_msghandler.c 	if (deliver_count) {