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