Symbol: vge_tick
sys/dev/pci/if_vge.c
128
void vge_tick (void *);
sys/dev/pci/if_vge.c
1292
vge_tick(sc);
sys/dev/pci/if_vge.c
806
timeout_set(&sc->timer_handle, vge_tick, sc);