pcn_tick          414 dev/pci/if_pcn.c void	pcn_tick(void *);
pcn_tick          592 dev/pci/if_pcn.c 	timeout_set(&sc->sc_tick_timeout, pcn_tick, sc);