--- Gnu-Mach/i386/i386at/int_init.c	2020/09/02 04:36:58	1.1
+++ Gnu-Mach/i386/i386at/int_init.c	2020/09/02 04:49:22	1.1.1.3
@@ -21,13 +21,13 @@
  *      Author: Bryan Ford, University of Utah CSL
  */
 
-#include "idt.h"
-#include "gdt.h"
+#include <i386at/idt.h>
+#include <i386/gdt.h>
 
 /* defined in locore.S */
 extern vm_offset_t int_entry_table[];
 
-void int_init()
+void int_init(void)
 {
 	int i;