tag	line	file	source code
tga_console_init	715	arch/alpha/kernel/bios32.c	extern void tga_console_init(void);
tga_console_init	745	arch/alpha/kernel/bios32.c	tga_console_init();