commit 340eeab9e5a99c5cdc5020395827e4756377ef6b
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Sun Jul 7 21:08:12 2024 +0200

    Fix xen build
    
    with -Werror=incompatible-pointer-types and
    -Werror=implicit-function-declaration.

diff --git a/i386/xen/xen.c b/i386/xen/xen.c
index 5309675f..1cc3fcab 100644
--- a/i386/xen/xen.c
+++ b/i386/xen/xen.c
@@ -24,6 +24,8 @@
 #include <machine/thread.h>
 #include <machine/ipl.h>
 #include <machine/model_dep.h>
+#include <vm/vm_page.h>
+#include <vm/pmap.h>
 
 #include <xen/xen.h>
 
diff --git a/xen/time.c b/xen/time.c
index 21791a59..656c6903 100644
--- a/xen/time.c
+++ b/xen/time.c
@@ -23,6 +23,7 @@
 #include <machine/xen.h>
 #include <machine/spl.h>
 #include <machine/ipl.h>
+#include <i386at/rtc.h>
 #include <mach/machine/eflags.h>
 #include <xen/evt.h>
 #include "xen.h"
diff --git a/xen/xen.h b/xen/xen.h
index 3fd4028a..30bd8dfe 100644
--- a/xen/xen.h
+++ b/xen/xen.h
@@ -24,6 +24,7 @@ void hyp_dev_init(void);
 void hyp_idle(void);
 void hyp_p2m_init(void);
 
+struct i386_interrupt_state;
 void hypclock_machine_intr(int old_ipl, void *ret_addr, struct i386_interrupt_state *regs, uint64_t delta);
 
 struct failsafe_callback_regs {
