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

(limited to 'xen/console.c')

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"
-- 
cgit v1.2.3