t4_intr
void t4_intr(void *);
t4_intr, irq->rxq, s);
t4_intr, rxq, s);
rc = t4_alloc_irq(sc, irq, rid, t4_intr,
t4_intr(irq->rxq);