bce_tick          187 dev/pci/if_bce.c void	bce_tick(void *);
bce_tick          430 dev/pci/if_bce.c 	timeout_set(&sc->bce_timeout, bce_tick, sc);