commit eec7037c885f6e54bf8f22d421d6abc55a2cd667
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Wed Aug 27 02:34:50 2025 +0200

    idt_inittab: Fix terminator entry
    
    Better fill a complete entry, which is always two pointers, both in
    MACH_PV_DESCRIPTORS and !MACH_PV_DESCRIPTORS case.
    
    For the x86_64 case, only half a pointer was actually recorded, leaving
    to garbage getting registered in the idt. This was noticed by division
    by zero getting double-faults.
    
    Thanks Pellescours for the initial investigation!

diff --git a/i386/i386/idt_inittab.S b/i386/i386/idt_inittab.S
index fc80e21b..a946fece 100644
--- a/i386/i386/idt_inittab.S
+++ b/i386/i386/idt_inittab.S
@@ -134,7 +134,5 @@ EXCEPTION(0x1f,t_trap_1f)
 /* Terminator */
 	.data	2
 	.long	0
-#ifdef	MACH_PV_DESCRIPTORS
 	.long	0
-#endif	/* MACH_PV_DESCRIPTORS */
 
diff --git a/x86_64/idt_inittab.S b/x86_64/idt_inittab.S
index 3a205ae4..cd5f5d22 100644
--- a/x86_64/idt_inittab.S
+++ b/x86_64/idt_inittab.S
@@ -140,9 +140,6 @@ EXCEPTION(0x1f,t_trap_1f)
 
 /* Terminator */
 	.data	2
-	.long	0
-#ifdef	MACH_PV_DESCRIPTORS
-	.long	0
 	.quad	0
-#endif	/* MACH_PV_DESCRIPTORS */
+	.quad	0
 
