physid_set(hard_smp_processor_id(), phys_cpu_present_map); 
physid_set(boot_cpu_physical_apicid, phys_cpu_present_map); 
int __init APIC_init(void){	if (enable_local_apic < 0) {		printk(KERN_INFO "APIC disabled\n");		return -1;	}	/* See if we have a SMP configuration or have forced enabled	 * the local apic.	 */	if (!smp_found_config && !acpi_lapic && !cpu_has_apic) {		enable_local_apic = -1;		return -1;	}	/*	 * Complain if the BIOS pretends there is an apic.	 * Then get out because we don't have an a local apic.	 */	if (!cpu_has_apic && APIC_INTEGRATED(apic_version[boot_cpu_physical_apicid])) {		printk(KERN_ERR "BIOS bug, local APIC #%d not detected!...\n",			boot_cpu_physical_apicid);		printk(KERN_ERR "... forcing use of dummy APIC emulation. (tell your hw vendor)\n");		enable_local_apic = -1;		return -1;	}	verify_local_APIC();	/*	 * Should not be necessary because the MP table should list the boot	 * CPU too, but we do it for the sake of robustness anyway.	 * Makes no sense to do this check in clustered apic mode, so skip it	 */	if (!check_phys_apicid_present(boot_cpu_physical_apicid)) {		printk("weird, boot CPU (#%d) not listed by the BIOS.\n",				boot_cpu_physical_apicid);		physid_set(hard_smp_processor_id(), phys_cpu_present_map);	}	/*	 * Switch from PIC to APIC mode.	 */	connect_bsp_APIC();	setup_local_APIC();#ifdef CONFIG_X86_IO_APIC	/*	 * Now start the IO-APICs	 */	if (smp_found_config && !skip_ioapic_setup && nr_ioapics)		setup_IO_APIC();#endif	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/009b29d90f575a83eba185950a7182ab05e7741a/apic.c/buggy/arch/i386/kernel/apic.c