local_irq_enable(); 
local_irq_restore(flags); 
void machine_shutdown(void){	/* Stop the cpus and apics */#ifdef CONFIG_SMP	int reboot_cpu_id;	/* The boot cpu is always logical cpu 0 */	reboot_cpu_id = 0;	/* Make certain the cpu I'm about to reboot 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.	 */	smp_send_stop();#endif	local_irq_disable();#ifndef CONFIG_SMP	disable_local_APIC();#endif	disable_IO_APIC();	local_irq_enable();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3506229ff9968e5dbc862a50285fbea0e8821b58/reboot.c/buggy/arch/x86_64/kernel/reboot.c