if (!APIC_INTEGRATED(ver))		/* 82489DX */ value |= APIC_LVT_LEVEL_TRIGGER; 
void __init init_bsp_APIC(void){	unsigned int value, ver;	/*	 * Don't do the setup now if we have a SMP BIOS as the	 * through-I/O-APIC virtual wire mode might be active.	 */	if (smp_found_config || !cpu_has_apic)		return;	value = apic_read(APIC_LVR);	ver = GET_APIC_VERSION(value);	/*	 * Do not trust the local APIC being empty at bootup.	 */	clear_local_APIC();	/*	 * Enable APIC.	 */	value = apic_read(APIC_SPIV);	value &= ~APIC_VECTOR_MASK;	value |= APIC_SPIV_APIC_ENABLED;	value |= APIC_SPIV_FOCUS_DISABLED;	value |= SPURIOUS_APIC_VECTOR;	apic_write_around(APIC_SPIV, value);	/*	 * Set up the virtual wire mode.	 */	apic_write_around(APIC_LVT0, APIC_DM_EXTINT);	value = APIC_DM_NMI;	if (!APIC_INTEGRATED(ver))		/* 82489DX */		value |= APIC_LVT_LEVEL_TRIGGER;	apic_write_around(APIC_LVT1, value);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/5a40b7c2abdedcf53c9a6ee790991acfcef5b6c7/apic.c/buggy/arch/x86_64/kernel/apic.c