Symbol: IPMI_GET_DEVICE_GUID_CMD
drivers/char/ipmi/ipmi_msghandler.c
3313
msg.cmd = IPMI_GET_DEVICE_GUID_CMD;
drivers/char/ipmi/ipmi_msghandler.c
3336
|| (msg->msg.cmd != IPMI_GET_DEVICE_GUID_CMD))