Symbol: dwxe_rxtick
sys/dev/fdt/if_dwxe.c
342
void dwxe_rxtick(void *);
sys/dev/fdt/if_dwxe.c
429
timeout_set(&sc->sc_rxto, dwxe_rxtick, sc);