tag	line	file	source code
NCR53c810_test	144	arch/i386/kernel/bios32.c	void NCR53c810_test(void);
NCR53c810_test	190	arch/i386/kernel/bios32.c	NCR53c810_test();