mix_pool_bytes   1219 drivers/char/random.c 	mix_pool_bytes(r, &sample, sizeof(sample));
mix_pool_bytes   1423 drivers/char/random.c 	mix_pool_bytes(r, tmp, bytes);
mix_pool_bytes   1775 drivers/char/random.c 		mix_pool_bytes(&input_pool, &stack.now, sizeof(stack.now));
mix_pool_bytes   1782 drivers/char/random.c 	mix_pool_bytes(&input_pool, &stack.now, sizeof(stack.now));
mix_pool_bytes   1936 drivers/char/random.c 	mix_pool_bytes(r, &now, sizeof(now));
mix_pool_bytes   1941 drivers/char/random.c 		mix_pool_bytes(r, &rv, sizeof(rv));
mix_pool_bytes   1943 drivers/char/random.c 	mix_pool_bytes(r, utsname(), sizeof(*(utsname())));
mix_pool_bytes   2084 drivers/char/random.c 		mix_pool_bytes(r, buf, bytes);
mix_pool_bytes   2493 drivers/char/random.c 	mix_pool_bytes(poolp, buffer, count);
mix_pool_bytes     51 include/trace/events/random.h DEFINE_EVENT(random__mix_pool_bytes, mix_pool_bytes,