rem: int arch_smp_clear_apic_timer(void)
add: arch_smp_clear_apic_timer(void)
context: int arch_smp_clear_apic_timer(void){	unsigned int config;	int state;	if(apic == NULL)		return -1;	state = disable_interrupts();	config = apic_read(APIC_LVTT) | APIC_LVTT_M; // mask the timer	apic_write(APIC_LVTT, config);	apic_write(APIC_ICRT, 0); // zero out the timer	restore_interrupts(state);	return 0;}