IPMB_REQUEST_LEN_MIN   34 drivers/char/ipmi/ipmb_dev_int.c #define IPMB_MSG_PAYLOAD_LEN_MAX (MAX_MSG_LEN - IPMB_REQUEST_LEN_MIN - 1)
IPMB_REQUEST_LEN_MIN  208 drivers/char/ipmi/ipmb_dev_int.c 	if (ipmb_dev->msg_idx >= IPMB_REQUEST_LEN_MIN) {