printk("PCI: System does not support PCI\n"); 
printk(KERN_WARNING "PCI: System does not support PCI\n"); 
static int __init pcibios_init(void){	struct cpuinfo_x86 *c = &boot_cpu_data;	if (!raw_pci_ops) {		printk("PCI: System does not support PCI\n");		return 0;	}	/*	 * Assume PCI cacheline size of 32 bytes for all x86s except K7/K8	 * and P4. It's also good for 386/486s (which actually have 16)	 * as quite a few PCI devices do not support smaller values.	 */	pci_cache_line_size = 32 >> 2;	if (c->x86 >= 6 && c->x86_vendor == X86_VENDOR_AMD)		pci_cache_line_size = 64 >> 2;	/* K7 & K8 */	else if (c->x86 > 6 && c->x86_vendor == X86_VENDOR_INTEL)		pci_cache_line_size = 128 >> 2;	/* P4 */	pcibios_resource_survey();#ifdef CONFIG_PCI_BIOS	if ((pci_probe & PCI_BIOS_SORT) && !(pci_probe & PCI_NO_SORT))		pcibios_sort();#endif	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dcb890749bbe63af96163c499e9c86b441fb6c83/common.c/clean/arch/i386/pci/common.c