#endif 
void __init smp_cpus_done(unsigned int max_cpus){	zap_low_mappings();	smp_cleanup_boot();#ifdef CONFIG_X86_IO_APIC	setup_ioapic_dest();#endif	detect_siblings();	time_init_gtod();	check_nmi_watchdog();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/76e4f660d9f4c6d1bb473f72be2988c35eaca948/smpboot.c/buggy/arch/x86_64/kernel/smpboot.c