aboutsummaryrefslogtreecommitdiff
path: root/xen
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 /xen
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 'xen')
-rw-r--r--xen/console.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/xen/console.c b/xen/console.c
index 9ceb6ddf..704429a7 100644
--- a/xen/console.c
+++ b/xen/console.c
@@ -21,7 +21,7 @@
#include <device/tty.h>
#include <device/cons.h>
#include <machine/pmap.h>
-#include <machine/machspl.h>
+#include <machine/spl.h>
#include <xen/public/io/console.h>
#include "console.h"
#include "ring.h"