nofn_rng_tick      67 dev/pci/nofn.c void nofn_rng_tick(void *);
nofn_rng_tick     325 dev/pci/nofn.c 		timeout_set(&sc->sc_rngto, nofn_rng_tick, sc);