ix_txgc_timer
ix_txgc_timer, txr, txr->tx_intr_cpuid);
static void ix_txgc_timer(void *);
callout_reset(&txr->tx_gc_timer, 1, ix_txgc_timer, txr);