tag	line	file	source code
userbuf	74	drivers/sound/dev_table.h	snd_rw_buf *userbuf, int useroffs, int len);
userbuf	2067	drivers/sound/gus_wave.c	snd_rw_buf * userbuf, int useroffs, int len)
userbuf	2071	drivers/sound/gus_wave.c	COPY_FROM_USER (&localbuf[localoffs], userbuf, useroffs, len);
userbuf	2087	drivers/sound/gus_wave.c	GET_BYTE_FROM_USER (*out_left++, userbuf, in_left);
userbuf	2089	drivers/sound/gus_wave.c	GET_BYTE_FROM_USER (*out_right++, userbuf, in_right);
userbuf	2108	drivers/sound/gus_wave.c	GET_SHORT_FROM_USER (*out_left++, (short *) userbuf, in_left);
userbuf	2110	drivers/sound/gus_wave.c	GET_SHORT_FROM_USER (*out_right++, (short *) userbuf, in_right);