detect_siblings();
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	detect_siblings();	time_init_gtod();	check_nmi_watchdog();}