--- Gnu-Mach/i386/i386at/idt.h	2020/09/02 04:36:58	1.1
+++ Gnu-Mach/i386/i386at/idt.h	2020/09/02 04:46:51	1.1.1.3
@@ -1,4 +1,4 @@
-/* 
+/*
  * Copyright (c) 1994 The University of Utah and
  * the Computer Systems Laboratory at the University of Utah (CSL).
  * All rights reserved.
@@ -32,6 +32,10 @@
 
 #define PIC_INT_BASE 0x40
 
-#include "idt-gen.h"
+#include <i386/idt-gen.h>
 
-#endif _I386AT_IDT_
+#ifndef __ASSEMBLER__
+extern void idt_init (void);
+#endif
+
+#endif /* _I386AT_IDT_ */