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