IPMI_MAX_RX
buf = malloc(IPMI_MAX_RX, M_DEVBUF, M_WAITOK);
if (len < 0 || len > IPMI_MAX_RX) {
(void)ipmi_recvcmd(sc, IPMI_MAX_RX, &len, buf);
buf = malloc(IPMI_MAX_RX, M_DEVBUF, M_WAITOK);
error = ipmi_recvcmd(sc, IPMI_MAX_RX, &len, buf);
char sc_buf[IPMI_MAX_RX + 3];