* it under the terms of the GNU General Public License version 2 as
* published by the Free Software Foundation.
*/
+#include <linux/config.h>
#include <linux/delay.h>
#include <linux/init.h>
#include <linux/spinlock.h>
unsigned int cpu = smp_processor_id();
per_cpu(cpu_data, cpu).idle = current;
+
+ cpu_set(cpu, cpu_present_map);
+ cpu_set(cpu, cpu_online_map);
}
static void send_ipi_message(cpumask_t callmap, enum ipi_msg_type msg)