-#include <linux/config.h>
+
#include <linux/init.h>
#include <linux/kernel.h>
#include <linux/sched.h>
.flags = XBWF_new_thread };
(void)register_xenbus_watch(&cpu_watch);
- if (!(xen_start_info->flags & SIF_INITDOMAIN)) {
- for_each_cpu(i)
+ if (!is_initial_xendomain()) {
+ for_each_possible_cpu(i)
vcpu_hotplug(i);
printk(KERN_INFO "Brought up %ld CPUs\n",
(long)num_online_cpus());
if (err) {
printk(KERN_CRIT "Failed to take all CPUs "
"down: %d.\n", err);
- for_each_cpu(i)
+ for_each_possible_cpu(i)
vcpu_hotplug(i);
return err;
}
{
int cpu;
- for_each_cpu(cpu)
+ for_each_possible_cpu(cpu)
cpu_initialize_context(cpu);
unlock_cpu_hotplug();
- for_each_cpu(cpu)
+ for_each_possible_cpu(cpu)
vcpu_hotplug(cpu);
}