IPMI_CMD_RECV_TYPE 3781 drivers/char/ipmi/ipmi_msghandler.c 			recv_msg->recv_type = IPMI_CMD_RECV_TYPE;
IPMI_CMD_RECV_TYPE 3941 drivers/char/ipmi/ipmi_msghandler.c 			recv_msg->recv_type = IPMI_CMD_RECV_TYPE;