local_irq_enable(); 
local_irq_restore(flags); 
void __init setup_boot_APIC_clock(void){	apic_printk(APIC_VERBOSE, "Using local APIC timer interrupts.\n");	using_apic_timer = 1;	local_irq_disable();	calibration_result = calibrate_APIC_clock();	/*	 * Now set up the timer for real.	 */	setup_APIC_timer(calibration_result);	local_irq_enable();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/f2b36db692b7ff6972320ad9839ae656a3b0ee3e/apic.c/buggy/arch/i386/kernel/apic.c