__mix_pool_bytes 1353 drivers/char/random.c 	__mix_pool_bytes(r, &fast_pool->pool, sizeof(fast_pool->pool));
__mix_pool_bytes 1362 drivers/char/random.c 		__mix_pool_bytes(r, &seed, sizeof(seed));
__mix_pool_bytes 1535 drivers/char/random.c 	__mix_pool_bytes(r, hash.w, sizeof(hash.w));