From c6c8197052f67944af210d61085b56e5dbfc3f75 Mon Sep 17 00:00:00 2001
From: Almudena Garcia <liberamenso10000@gmail.com>
Date: Wed, 12 Aug 2020 15:54:55 +0200
Subject: [PATCH 5/5] 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 | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/i386/i386at/model_dep.c b/i386/i386at/model_dep.c
index aaeed807..27955d21 100644
--- a/i386/i386at/model_dep.c
+++ b/i386/i386at/model_dep.c
@@ -42,7 +42,6 @@
 #include <mach/machine/multiboot.h>
 #include <mach/xen.h>
 
-#include <i386/vm_param.h>
 #include <kern/assert.h>
 #include <kern/cpu_number.h>
 #include <kern/debug.h>
@@ -50,6 +49,7 @@
 #include <kern/macros.h>
 #include <kern/printf.h>
 #include <kern/startup.h>
+#include <kern/smp.h>
 #include <sys/time.h>
 #include <sys/types.h>
 #include <vm/vm_page.h>
@@ -62,6 +62,7 @@
 #include <i386/pit.h>
 #include <i386/pmap.h>
 #include <i386/proc_reg.h>
+#include <i386/vm_param.h>
 #include <i386/locore.h>
 #include <i386/model_dep.h>
 #include <i386at/autoconf.h>
@@ -72,6 +73,7 @@
 #include <i386at/kd.h>
 #include <i386at/rtc.h>
 #include <i386at/model_dep.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 in processors detection\n");
+	}
+#endif /* NCPUS > 1 */
+
 	/*
 	 * Find the devices
 	 */
-- 
2.28.0