#endif 
void __init smp_cpus_done(unsigned int max_cpus){#ifdef CONFIG_X86_IO_APIC	setup_ioapic_dest();#endif	zap_low_mappings();	/*	 * Disable executability of the SMP trampoline:	 */	set_kernel_exec((unsigned long)trampoline_base, trampoline_exec);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e1367daf3eed5cd619ee88c9907e1e6ddaa58406/smpboot.c/buggy/arch/i386/kernel/smpboot.c