tag	line	file	source code
input_rotate	214	drivers/char/random.c	int input_rotate;
input_rotate	317	drivers/char/random.c	w = (input << r->input_rotate) | (input >> (32 - r->input_rotate));
input_rotate	320	drivers/char/random.c	r->input_rotate = (r->input_rotate + 7) & 31;
input_rotate	327	drivers/char/random.c	r->input_rotate = (r->input_rotate + 14) & 31;