tag	line	file	source code
GET_BYTE_FROM_USER	1666	drivers/sound/gus_wave.c	GET_BYTE_FROM_USER (data, addr, sizeof_patch + i);
GET_BYTE_FROM_USER	2410	drivers/sound/gus_wave.c	GET_BYTE_FROM_USER (*out_left++, userbuf, in_left);
GET_BYTE_FROM_USER	2412	drivers/sound/gus_wave.c	GET_BYTE_FROM_USER (*out_right++, userbuf, in_right);
GET_BYTE_FROM_USER	511	drivers/sound/midi_synth.c	GET_BYTE_FROM_USER (data, addr, hdr_size + i);