tag	line	file	source code
in_right	2399	drivers/sound/gus_wave.c	int             in_right = useroffs + 1;
in_right	2412	drivers/sound/gus_wave.c	GET_BYTE_FROM_USER (*out_right++, userbuf, in_right);
in_right	2413	drivers/sound/gus_wave.c	in_right += 2;
in_right	2419	drivers/sound/gus_wave.c	int             in_right = useroffs / 2 + 1;
in_right	2433	drivers/sound/gus_wave.c	GET_SHORT_FROM_USER (*out_right++, (short *) userbuf, in_right);
in_right	2434	drivers/sound/gus_wave.c	in_right += 2;