tag	line	file	source code
pcibios_present	30	arch/alpha/kernel/bios32.c	int pcibios_present(void)
pcibios_present	354	arch/alpha/kernel/bios32.c	int pcibios_present(void)
pcibios_present	203	arch/i386/kernel/bios32.c	int pcibios_present(void)