if (nmi_watchdog == NMI_LOCAL_APIC) check_nmi_watchdog(); 
int __init APIC_init_uniprocessor (void){	if (enable_local_apic < 0)		clear_bit(X86_FEATURE_APIC, boot_cpu_data.x86_capability);	if (!smp_found_config && !cpu_has_apic)		return -1;	/*	 * Complain if the BIOS pretends there is one.	 */	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);		return -1;	}	verify_local_APIC();	connect_bsp_APIC();	phys_cpu_present_map = physid_mask_of_physid(boot_cpu_physical_apicid);	setup_local_APIC();	if (nmi_watchdog == NMI_LOCAL_APIC)		check_nmi_watchdog();#ifdef CONFIG_X86_IO_APIC	if (smp_found_config)		if (!skip_ioapic_setup && nr_ioapics)			setup_IO_APIC();#endif	setup_boot_APIC_clock();	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/67701ae9767534534d3710664037dfde2cc04935/apic.c/buggy/arch/i386/kernel/apic.c