vge_tick          141 dev/pci/if_vge.c void vge_tick		(void *);
vge_tick          807 dev/pci/if_vge.c 	timeout_set(&sc->timer_handle, vge_tick, sc);
vge_tick         1270 dev/pci/if_vge.c 			vge_tick(sc);