void __init disable_APIC_timer(void) 
void __devinit disable_APIC_timer(void) 
void __init disable_APIC_timer(void){	if (using_apic_timer) {		unsigned long v;		v = apic_read(APIC_LVTT);		apic_write_around(APIC_LVTT, v | APIC_LVT_MASKED);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f370513640492641b4046bfd9a6e4714f6ae530d/apic.c/buggy/arch/i386/kernel/apic.c