From adaeaba16c56ae05b5573f263715ae146a3bbf91 Mon Sep 17 00:00:00 2001
From: Almudena Garcia <liberamenso10000@gmail.com>
Date: Mon, 27 Jul 2020 20:02:59 +0200
Subject: [PATCH 6/7] model_dep.c: Add smp_init call

if NCPUS > 1, call to smp_init to start the search and enumeration of the cpus

*i386/i386/model_dep.c (machine_init): add smp_init() call
---
 i386/i386at/model_dep.c | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/i386/i386at/model_dep.c b/i386/i386at/model_dep.c
index aaeed807..75a902d5 100644
--- a/i386/i386at/model_dep.c
+++ b/i386/i386at/model_dep.c
@@ -72,6 +72,8 @@
 #include <i386at/kd.h>
 #include <i386at/rtc.h>
 #include <i386at/model_dep.h>
+#include <kern/smp.h>
+
 #ifdef	MACH_XEN
 #include <xen/console.h>
 #include <xen/store.h>
@@ -170,6 +172,14 @@ void machine_init(void)
 	linux_init();
 #endif
 
+#if NCPUS > 1
+	int smp_success = smp_init();
+
+	if(smp_success != 0) {
+        printf("Error: no SMP found");
+    }
+#endif /* NCPUS > 1 */
+
 	/*
 	 * Find the devices
 	 */
-- 
2.27.0