IPMI_GET_DEVICE_GUID_CMD 3147 drivers/char/ipmi/ipmi_msghandler.c 	msg.cmd = IPMI_GET_DEVICE_GUID_CMD;
IPMI_GET_DEVICE_GUID_CMD 3170 drivers/char/ipmi/ipmi_msghandler.c 	    || (msg->msg.cmd != IPMI_GET_DEVICE_GUID_CMD))