SXIE_MAX_PKT_SIZE
SXIWRITE4(sc, SXIE_MACMFL, SXIE_MAX_PKT_SIZE);
uint32_t txbuf[SXIE_MAX_PKT_SIZE / sizeof(uint32_t)]; /* XXX !!! */
if (m->m_pkthdr.len > SXIE_MAX_PKT_SIZE) {
char rxbuf[SXIE_MAX_PKT_SIZE]; /* XXX !!! */
if (pktlen > SXIE_MAX_PKT_SIZE)
pktlen = SXIE_MAX_PKT_SIZE; /* XXX is truncating ok? */