txp_tick           91 dev/pci/if_txp.c void txp_tick(void *);
txp_tick          241 dev/pci/if_txp.c 	timeout_set(&sc->sc_tick, txp_tick, sc);