From 8e726dc9abda7027922444a53eb3131c8e267666 Mon Sep 17 00:00:00 2001
From: LD <luca@orpolo.org>
Date: Sat, 9 Mar 2024 15:02:43 +0100
Subject: remove machine/machspl.h as it duplicates machine/spl.h

Message-ID: <20240309140244.347835-2-luca@orpolo.org>
---
 kern/machine.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kern/machine.c')

diff --git a/kern/machine.c b/kern/machine.c
index 1322b549..a395937c 100644
--- a/kern/machine.c
+++ b/kern/machine.c
@@ -53,7 +53,7 @@
 #include <kern/task.h>
 #include <kern/thread.h>
 #include <kern/printf.h>
-#include <machine/machspl.h>	/* for splsched */
+#include <machine/spl.h>	/* for splsched */
 #include <machine/model_dep.h>
 #include <machine/pcb.h>
 #include <sys/reboot.h>
-- 
cgit v1.2.3