tag	line	file	source code
trix_boot	40	drivers/sound/trix.c	static unsigned char *trix_boot = NULL;
trix_boot	86	drivers/sound/trix.c	outb (trix_boot[i], 0x391);