if (!APIC_INTEGRATED(ver)) lvtt_value |= SET_APIC_TIMER_BASE(APIC_TIMER_BASE_DIV); 
static void __setup_APIC_LVTT(unsigned int clocks){	unsigned int lvtt_value, tmp_value, ver;	ver = GET_APIC_VERSION(apic_read(APIC_LVR));	lvtt_value = APIC_LVT_TIMER_PERIODIC | LOCAL_TIMER_VECTOR;	if (!APIC_INTEGRATED(ver))		lvtt_value |= SET_APIC_TIMER_BASE(APIC_TIMER_BASE_DIV);	apic_write_around(APIC_LVTT, lvtt_value);	/*	 * Divide PICLK by 16	 */	tmp_value = apic_read(APIC_TDCR);	apic_write_around(APIC_TDCR, (tmp_value				& ~(APIC_TDR_DIV_1 | APIC_TDR_DIV_TMBASE))				| APIC_TDR_DIV_16);	apic_write_around(APIC_TMICT, clocks/APIC_DIVISOR);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/5a40b7c2abdedcf53c9a6ee790991acfcef5b6c7/apic.c/buggy/arch/x86_64/kernel/apic.c