commit f292a4c38923278ab69bfaccbc67e0ad6b13484d
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Wed Aug 30 01:00:23 2023 +0200

    Fix 64bit xen build

diff --git a/x86_64/idt_inittab.S b/x86_64/idt_inittab.S
index fc1df0c7..3a205ae4 100644
--- a/x86_64/idt_inittab.S
+++ b/x86_64/idt_inittab.S
@@ -41,12 +41,13 @@ ENTRY(idt_inittab)
  * Interrupt descriptor table and code vectors for it.
  */
 #ifdef	MACH_PV_DESCRIPTORS
-#define	IDT_ENTRY(n,entry,type) \
+#define	IDT_ENTRY(n,entry,type,ist) \
 	.data	2		;\
 	.byte	n		;\
 	.byte	(((type)&ACC_PL)>>5)|((((type)&(ACC_TYPE|ACC_A))==ACC_INTR_GATE)<<2)	;\
 	.word	FLAT_KERNEL_CS	;\
-	.long	0	/*pad*/	;\
+	.word	ist		;\
+	.word	0	/*pad*/	;\
 	.quad	entry		;\
 	.text
 #else	/* MACH_PV_DESCRIPTORS */
