check_nmi_watchdog(); 
int __init APIC_init_uniprocessor (void){	if (disable_apic) { 		printk(KERN_INFO "Apic disabled\n");		return -1; 	}	if (!cpu_has_apic) { 		disable_apic = 1;		printk(KERN_INFO "Apic disabled by BIOS\n");		return -1;	}	verify_local_APIC();	connect_bsp_APIC();	phys_cpu_present_map = physid_mask_of_physid(0);	apic_write_around(APIC_ID, boot_cpu_id);	setup_local_APIC();#ifdef CONFIG_X86_IO_APIC	if (smp_found_config && !skip_ioapic_setup && nr_ioapics)			setup_IO_APIC();	else		nr_ioapics = 0;#endif	setup_boot_APIC_clock();	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/751521149a05e308d863d01ced61080ce1a2ec99/apic.c/clean/arch/x86_64/kernel/apic.c