#ifndef CONFIG_HOTPLUG_CPU zap_low_mappings(); #endif 
void __init smp_cpus_done(unsigned int max_cpus){#ifndef CONFIG_HOTPLUG_CPU	zap_low_mappings();#endif	smp_cleanup_boot();#ifdef CONFIG_X86_IO_APIC	setup_ioapic_dest();#endif	time_init_gtod();	check_nmi_watchdog();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/f6c2e3330d3fdd5474bc3756da46fca889a30e33/smpboot.c/clean/arch/x86_64/kernel/smpboot.c