IXL_MAX_FRAME
if (mtu > IXL_MAX_FRAME - ETHER_HDR_LEN - ETHER_CRC_LEN -
MPASS(total_hdr_len + mss <= IXL_MAX_FRAME);
MPASS(pi->ipi_len <= IXL_MAX_FRAME);