static void __init setup_APIC_timer(unsigned int clocks) 
static void __devinit setup_APIC_timer(unsigned int clocks) 
static void __init setup_APIC_timer(unsigned int clocks){	unsigned long flags;	local_irq_save(flags);	/*	 * Wait for IRQ0's slice:	 */	wait_timer_tick();	__setup_APIC_LVTT(clocks);	local_irq_restore(flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0bb3184df537002a742bafddf3f4fb482b7fe610/apic.c/clean/arch/i386/kernel/apic.c