crng_fast_load   1336 drivers/char/random.c 		    crng_fast_load((char *) fast_pool->pool,
crng_fast_load   2483 drivers/char/random.c 		crng_fast_load(buffer, count);