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