static int __cpuinit smp_sanity_check(unsigned max_cpus) 
static int __init smp_sanity_check(unsigned max_cpus) 
static int __cpuinit smp_sanity_check(unsigned max_cpus){	if (!physid_isset(hard_smp_processor_id(), phys_cpu_present_map)) {		printk("weird, boot CPU (#%d) not listed by the BIOS.\n",		       hard_smp_processor_id());		physid_set(hard_smp_processor_id(), phys_cpu_present_map);	}	/*	 * If we couldn't find an SMP configuration at boot time,	 * get out of here now!	 */	if (!smp_found_config) {		printk(KERN_NOTICE "SMP motherboard not detected.\n");		disable_smp();		if (APIC_init_uniprocessor())			printk(KERN_NOTICE "Local APIC not detected."					   " Using dummy APIC emulation.\n");		return -1;	}	/*	 * Should not be necessary because the MP table should list the boot	 * CPU too, but we do it for the sake of robustness anyway.	 */	if (!physid_isset(boot_cpu_id, phys_cpu_present_map)) {		printk(KERN_NOTICE "weird, boot CPU (#%d) not listed by the BIOS.\n",								 boot_cpu_id);		physid_set(hard_smp_processor_id(), phys_cpu_present_map);	}	/*	 * If we couldn't find a local APIC, then get out of here now!	 */	if (APIC_INTEGRATED(apic_version[boot_cpu_id]) && !cpu_has_apic) {		printk(KERN_ERR "BIOS bug, local APIC #%d not detected!...\n",			boot_cpu_id);		printk(KERN_ERR "... forcing use of dummy APIC emulation. (tell your hw vendor)\n");		nr_ioapics = 0;		return -1;	}	/*	 * If SMP should be disabled, then really disable it!	 */	if (!max_cpus) {		printk(KERN_INFO "SMP mode deactivated, forcing use of dummy APIC emulation.\n");		nr_ioapics = 0;		return -1;	}	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/smpboot.c/buggy/arch/x86_64/kernel/smpboot.c