Symbol: vte_tick
sys/dev/pci/if_vte.c
371
timeout_set(&sc->vte_tick_ch, vte_tick, sc);
sys/dev/pci/if_vte.c
95
void vte_tick(void *);