tag	line	file	source code
userbuf	131	drivers/sound/dev_table.h	snd_rw_buf *userbuf, int useroffs, int len);
userbuf	2335	drivers/sound/gus_wave.c	snd_rw_buf * userbuf, int useroffs, int len)
userbuf	2339	drivers/sound/gus_wave.c	COPY_FROM_USER (&localbuf[localoffs], userbuf, useroffs, len);
userbuf	2355	drivers/sound/gus_wave.c	GET_BYTE_FROM_USER (*out_left++, userbuf, in_left);
userbuf	2357	drivers/sound/gus_wave.c	GET_BYTE_FROM_USER (*out_right++, userbuf, in_right);
userbuf	2376	drivers/sound/gus_wave.c	GET_SHORT_FROM_USER (*out_left++, (short *) userbuf, in_left);
userbuf	2378	drivers/sound/gus_wave.c	GET_SHORT_FROM_USER (*out_right++, (short *) userbuf, in_right);