--- Gnu-Mach/i386/i386at/pic_isa.c	2020/09/02 04:46:54	1.1.1.2
+++ Gnu-Mach/i386/i386at/pic_isa.c	2020/09/02 04:49:24	1.1.1.3
@@ -28,10 +28,10 @@
 #include <i386/ipl.h>
 #include <i386/pic.h>
 #include <i386/fpu.h>
+#include <i386/hardclock.h>
 #include <i386at/kd.h>
 
 /* These interrupts are always present */
-extern void hardclock();
 
 void (*ivect[NINTR])() = {
 	/* 00 */	hardclock,	/* always */