From d6ff5ba739da9bdafee1acfbddbd98839a9b8bfc Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Tue, 14 Feb 2023 00:26:25 +0100
Subject: linux: Fix non-SMP build

---
 linux/dev/arch/i386/kernel/irq.c    | 1 +
 linux/dev/include/asm-i386/system.h | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/linux/dev/arch/i386/kernel/irq.c b/linux/dev/arch/i386/kernel/irq.c
index 73802c45..3b349ccc 100644
--- a/linux/dev/arch/i386/kernel/irq.c
+++ b/linux/dev/arch/i386/kernel/irq.c
@@ -27,6 +27,7 @@
 #include <mach/mach_types.h>
 #include <mach/vm_param.h>
 #include <kern/assert.h>
+#include <kern/cpu_number.h>
 
 #include <i386/spl.h>
 #include <i386/irq.h>
diff --git a/linux/dev/include/asm-i386/system.h b/linux/dev/include/asm-i386/system.h
index ac091e27..5187c5e5 100644
--- a/linux/dev/include/asm-i386/system.h
+++ b/linux/dev/include/asm-i386/system.h
@@ -2,7 +2,7 @@
 #define __ASM_SYSTEM_H
 
 #include <i386/ipl.h> /* curr_ipl[], splx */
-#include <i386/cpu_number.h>
+#include <kern/cpu_number.h>
 
 #include <asm/segment.h>
 
-- 
cgit v1.2.3