@@ -5,6 +5,7 @@
#include <xen/mm.h>
#include <xen/domain_page.h>
#include <xen/sched.h>
+#include <xen/sched-if.h>
#include <asm/irq.h>
#include <asm/regs.h>
#include <xen/errno.h>
@@ -59,7 +60,7 @@ custom_param("dom0_mem", parse_dom0_mem);
struct vcpu *__init alloc_dom0_vcpu0(struct domain *dom0)
{
if ( opt_dom0_max_vcpus == 0 )
- opt_dom0_max_vcpus = num_online_cpus();
+ opt_dom0_max_vcpus = cpumask_weight(cpupool0->cpu_valid);
if ( opt_dom0_max_vcpus > MAX_VIRT_CPUS )
opt_dom0_max_vcpus = MAX_VIRT_CPUS;