noct_rng_tick      71 dev/pci/noct.c void noct_rng_tick(void *);
noct_rng_tick     640 dev/pci/noct.c 	timeout_set(&sc->sc_rngto, noct_rng_tick, sc);