IPMI_GET_CHANNEL_INFO_CMD 3231 drivers/char/ipmi/ipmi_msghandler.c 	msg.cmd = IPMI_GET_CHANNEL_INFO_CMD;
IPMI_GET_CHANNEL_INFO_CMD 3259 drivers/char/ipmi/ipmi_msghandler.c 	    && (msg->msg.cmd == IPMI_GET_CHANNEL_INFO_CMD)) {