_mix_pool_bytes   639 drivers/char/random.c 	_mix_pool_bytes(r, in, nbytes);
_mix_pool_bytes   649 drivers/char/random.c 	_mix_pool_bytes(r, in, nbytes);
_mix_pool_bytes  1187 drivers/char/random.c 	_mix_pool_bytes(&input_pool, buf, size);
_mix_pool_bytes  1188 drivers/char/random.c 	_mix_pool_bytes(&input_pool, &time, sizeof(time));