From 73e977210bfad6a75b923f591f5ba059021e89cc Mon Sep 17 00:00:00 2001
From: Almudena Garcia <liberamenso10000@gmail.com>
Date: Thu, 13 Aug 2020 15:30:35 +0200
Subject: [PATCH 3/3] 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 | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/i386/i386at/model_dep.c b/i386/i386at/model_dep.c
index aaeed807..a13b46af 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,10 @@ void machine_init(void)
 	linux_init();
 #endif
 
+#if NCPUS > 1
+	smp_init();
+#endif /* NCPUS > 1 */
+
 	/*
 	 * Find the devices
 	 */
-- 
2.28.0