/* Kludge for now. Don't use mmconfig on AMD systems because those have some busses where mmconfig doesn't work, and we don't parse ACPI MCFG well enough to handle that. Remove when proper handling is added. */ if (boot_cpu_data.x86_vendor == X86_VENDOR_AMD) goto out;  
static int __init pci_mmcfg_init(void){	if ((pci_probe & PCI_PROBE_MMCONF) == 0)		goto out;	acpi_table_parse(ACPI_MCFG, acpi_parse_mcfg);	if ((pci_mmcfg_config_num == 0) ||	    (pci_mmcfg_config == NULL) ||	    (pci_mmcfg_config[0].base_address == 0))		goto out;	/* Kludge for now. Don't use mmconfig on AMD systems because	   those have some busses where mmconfig doesn't work,	   and we don't parse ACPI MCFG well enough to handle that. 	   Remove when proper handling is added. */	if (boot_cpu_data.x86_vendor == X86_VENDOR_AMD)		goto out; 	printk(KERN_INFO "PCI: Using MMCONFIG\n");	raw_pci_ops = &pci_mmcfg;	pci_probe = (pci_probe & ~PCI_PROBE_MASK) | PCI_PROBE_MMCONF; out:	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f343bb4cd7cc76d49d72415c8b867b1073d3c6db/mmconfig.c/buggy/arch/i386/pci/mmconfig.c