@@ -23,9 +23,7 @@ ENTRY(secondary_trampoline)
ENTRY(secondary_trampoline_end)
-#ifdef CONFIG_SMP
ENTRY(v7_secondary_startup)
bl v7_invalidate_l1
b secondary_startup
ENDPROC(v7_secondary_startup)
-#endif
@@ -75,6 +75,13 @@ static void __init socfpga_smp_init_cpus(void)
ncores = scu_get_core_count(socfpga_scu_base_addr);
+#ifndef CONFIG_VMSPLIT_2G
+ if (of_machine_is_compatible("altr,socfpga-vt")) {
+ printk("Emulator needs VMSPLIT_2G to work in SMP mode.\n");
+ early_printk("Emulator needs VMSPLIT_2G to work in SMP mode.\n");
+ ncores = 1;
+ }
+#endif
for (i = 0; i < ncores; i++)
set_cpu_possible(i, true);