Message ID | 1460381617-5786-4-git-send-email-julien.grall@arm.com |
---|---|
State | New |
Headers | show |
diff --git a/xen/arch/arm/acpi/boot.c b/xen/arch/arm/acpi/boot.c index 1bba1cf..a952efd 100644 --- a/xen/arch/arm/acpi/boot.c +++ b/xen/arch/arm/acpi/boot.c @@ -149,7 +149,7 @@ void __init acpi_smp_init_cpus(void) return; } - if ( enabled_cpus > 1 ) + if ( !bootcpu_valid ) { printk("MADT missing boot CPU MPIDR, not enabling secondaries\n"); return;