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