tag	line	file	source code
in_right	2088	drivers/sound/gus_wave.c	int             in_right = useroffs + 1;
in_right	2101	drivers/sound/gus_wave.c	GET_BYTE_FROM_USER (*out_right++, userbuf, in_right);
in_right	2102	drivers/sound/gus_wave.c	in_right += 2;
in_right	2108	drivers/sound/gus_wave.c	int             in_right = useroffs + 1;
in_right	2122	drivers/sound/gus_wave.c	GET_SHORT_FROM_USER (*out_right++, (short *) userbuf, in_right);
in_right	2123	drivers/sound/gus_wave.c	in_right += 2;