if (num_processors >= NR_CPUS) { printk(KERN_ERR "SRAT: Processor #%d (lapic %u) INVALID. (Max ID: %d).\n", num_processors, pa->apic_id, NR_CPUS); bad_srat(); return; } cpu_to_node[num_processors] = node; 
apicid_to_node[pa->apic_id] = node; 
acpi_numa_processor_affinity_init(struct acpi_table_processor_affinity *pa){	int pxm, node;	if (srat_disabled() || pa->flags.enabled == 0)		return;	pxm = pa->proximity_domain;	node = setup_node(pxm);	if (node < 0) {		printk(KERN_ERR "SRAT: Too many proximity domains %x\n", pxm);		bad_srat();		return;	}	if (num_processors >= NR_CPUS) {		printk(KERN_ERR "SRAT: Processor #%d (lapic %u) INVALID. (Max ID: %d).\n",			num_processors, pa->apic_id, NR_CPUS);		bad_srat();		return;	}	cpu_to_node[num_processors] = node;	acpi_numa = 1;	printk(KERN_INFO "SRAT: PXM %u -> APIC %u -> CPU %u -> Node %u\n",	       pxm, pa->apic_id, num_processors, node);	num_processors++;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0b07e984fc7a51b1a7c75e1bfdcf59d1ad065353/srat.c/buggy/arch/x86_64/mm/srat.c