void __init disable_APIC_timer(void) 
void __cpuinit 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);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/apic.c/clean/arch/x86_64/kernel/apic.c