tag	line	file	source code
GET_BYTE_FROM_USER	1852	drivers/sound/gus_wave.c	GET_BYTE_FROM_USER (data, addr, sizeof_patch + i);
GET_BYTE_FROM_USER	2687	drivers/sound/gus_wave.c	GET_BYTE_FROM_USER (*out_left++, userbuf, in_left);
GET_BYTE_FROM_USER	2689	drivers/sound/gus_wave.c	GET_BYTE_FROM_USER (*out_right++, userbuf, in_right);