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/task.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kern/task.c')

diff --git a/kern/task.c b/kern/task.c
index dfba04d4..a85cd227 100644
--- a/kern/task.c
+++ b/kern/task.c
@@ -55,7 +55,7 @@
 #include <kern/syscall_emulation.h>
 #include <kern/task_notify.user.h>
 #include <vm/vm_kern.h>		/* for kernel_map, ipc_kernel_map */
-#include <machine/machspl.h>	/* for splsched */
+#include <machine/spl.h>	/* for splsched */
 
 task_t	kernel_task = TASK_NULL;
 struct kmem_cache task_cache;
-- 
cgit v1.2.3