CRNG_RESEED_INTERVAL  889 drivers/char/random.c 	crng->init_time = jiffies - CRNG_RESEED_INTERVAL - 1;
CRNG_RESEED_INTERVAL 1058 drivers/char/random.c 	     time_after(jiffies, crng->init_time + CRNG_RESEED_INTERVAL)))