dequeue_randomness  472 dev/rnd.c      void dequeue_randomness(void *);
dequeue_randomness  618 dev/rnd.c      	timeout_set(&rnd_timeout, dequeue_randomness, &random_state);
dequeue_randomness  920 dev/rnd.c      		dequeue_randomness(&random_state);