--- Gnu-Mach/i386/i386at/idt.h	2020/09/02 04:44:33	1.1.1.2
+++ Gnu-Mach/i386/i386at/idt.h	2020/09/02 04:49:20	1.1.1.4
@@ -32,6 +32,10 @@
 
 #define PIC_INT_BASE 0x40
 
-#include "idt-gen.h"
+#include <i386/idt-gen.h>
+
+#ifndef __ASSEMBLER__
+extern void idt_init (void);
+#endif /* __ASSEMBLER__ */
 
 #endif /* _I386AT_IDT_ */