arc4_reinit       479 dev/rnd.c      void arc4_reinit(void *v);
arc4_reinit       619 dev/rnd.c      	timeout_set(&arc4_timeout, arc4_reinit, NULL);
arc4_reinit       632 dev/rnd.c      	arc4_reinit(NULL);