local_irq_disable(); 
local_irq_save(flags); 
void smp_stop_cpu(void){	/*	 * Remove this CPU:	 */	cpu_clear(smp_processor_id(), cpu_online_map);	local_irq_disable();	disable_local_APIC();	local_irq_enable(); }
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3506229ff9968e5dbc862a50285fbea0e8821b58/smp.c/buggy/arch/x86_64/kernel/smp.c