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);	}}