IPMI_GET_WDOG_MAX
uint8_t wdog[IPMI_GET_WDOG_MAX];
c.c_maxrxlen = IPMI_GET_WDOG_MAX;
u_int8_t cmd[IPMI_GET_WDOG_MAX + 255]; /* 8 + max of length */