tag	line	file	source code
add_pci_resource	68	arch/i386/kernel/bios32.c	extern void add_pci_resource(unsigned char, unsigned char);
add_pci_resource	606	arch/i386/kernel/bios32.c	add_pci_resource( bus, dev_fn);