if ((reboot_cpu_id != -1) && (reboot_cpu < NR_CPUS) && 
if ((reboot_cpu != -1) && (reboot_cpu < NR_CPUS) && 
void machine_shutdown(void){#ifdef CONFIG_SMP	int reboot_cpu_id;	/* The boot cpu is always logical cpu 0 */	reboot_cpu_id = 0;	/* See if there has been given a command line override */	if ((reboot_cpu_id != -1) && (reboot_cpu < NR_CPUS) &&		cpu_isset(reboot_cpu, cpu_online_map)) {		reboot_cpu_id = reboot_cpu;	}	/* Make certain the cpu I'm rebooting on is online */	if (!cpu_isset(reboot_cpu_id, cpu_online_map)) {		reboot_cpu_id = smp_processor_id();	}	/* Make certain I only run on the appropriate processor */	set_cpus_allowed(current, cpumask_of_cpu(reboot_cpu_id));	/* O.K. Now that I'm on the appropriate processor, stop	 * all of the others, and disable their local APICs.	 */	smp_send_stop();#endif /* CONFIG_SMP */	lapic_shutdown();#ifdef CONFIG_X86_IO_APIC	disable_IO_APIC();#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d8e392e7c8f019657ff3ebe70a45d234990831db/reboot.c/buggy/arch/i386/kernel/reboot.c