Symbol: txp_tick
sys/dev/pci/if_txp.c
220
timeout_set(&sc->sc_tick, txp_tick, sc);
sys/dev/pci/if_txp.c
77
void txp_tick(void *);