tag	line	file	source code
in_right	2719	drivers/sound/gus_wave.c	int             in_right = useroffs + 1;
in_right	2732	drivers/sound/gus_wave.c	GET_BYTE_FROM_USER (*out_right++, userbuf, in_right);
in_right	2733	drivers/sound/gus_wave.c	in_right += 2;
in_right	2739	drivers/sound/gus_wave.c	int             in_right = useroffs + 1;
in_right	2753	drivers/sound/gus_wave.c	GET_SHORT_FROM_USER (*out_right++, (short *) userbuf, in_right);
in_right	2754	drivers/sound/gus_wave.c	in_right += 2;