aboutsummaryrefslogtreecommitdiff
path: root/device
diff options
context:
space:
mode:
authorLD <luca@orpolo.org>2024-03-09 15:02:43 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2024-03-09 18:43:39 +0100
commit8e726dc9abda7027922444a53eb3131c8e267666 (patch)
tree2b35a7d0fe6a46ec5fc2806707cc79db68d5f7f3 /device
parent346a380129e3ac30c1e86089a12ca63eec81e5e7 (diff)
downloadgnumach-8e726dc9abda7027922444a53eb3131c8e267666.tar.gz
gnumach-8e726dc9abda7027922444a53eb3131c8e267666.tar.bz2
gnumach-8e726dc9abda7027922444a53eb3131c8e267666.zip
remove machine/machspl.h as it duplicates machine/spl.h
Message-ID: <20240309140244.347835-2-luca@orpolo.org>
Diffstat (limited to 'device')
-rw-r--r--device/chario.c2
-rw-r--r--device/ds_routines.c4
-rw-r--r--device/net_io.c4
3 files changed, 5 insertions, 5 deletions
diff --git a/device/chario.c b/device/chario.c
index 3fe93ccb..efb55867 100644
--- a/device/chario.c
+++ b/device/chario.c
@@ -34,7 +34,7 @@
#include <mach/kern_return.h>
#include <mach/mig_errors.h>
#include <mach/vm_param.h>
-#include <machine/machspl.h> /* spl definitions */
+#include <machine/spl.h> /* spl definitions */
#include <ipc/ipc_port.h>
diff --git a/device/ds_routines.c b/device/ds_routines.c
index d97d229e..439fc5b3 100644
--- a/device/ds_routines.c
+++ b/device/ds_routines.c
@@ -63,7 +63,7 @@
#include <mach/vm_param.h>
#include <mach/notify.h>
#include <machine/locore.h>
-#include <machine/machspl.h> /* spl definitions */
+#include <machine/spl.h> /* spl definitions */
#include <ipc/ipc_port.h>
#include <ipc/ipc_space.h>
@@ -95,7 +95,7 @@
#include <device/device_emul.h>
#include <device/intr.h>
-#include <machine/machspl.h>
+#include <machine/spl.h>
#ifdef LINUX_DEV
extern struct device_emulation_ops linux_block_emulation_ops;
diff --git a/device/net_io.c b/device/net_io.c
index ee9435d7..efde9d6c 100644
--- a/device/net_io.c
+++ b/device/net_io.c
@@ -42,7 +42,7 @@
#include <string.h>
#include <device/net_status.h>
-#include <machine/machspl.h> /* spl definitions */
+#include <machine/spl.h> /* spl definitions */
#include <device/net_io.h>
#include <device/if_hdr.h>
#include <device/io_req.h>
@@ -64,7 +64,7 @@
#include <kern/slab.h>
#include <kern/thread.h>
-#include <machine/machspl.h>
+#include <machine/spl.h>
#if MACH_TTD
#include <ttd/ttd_stub.h>