--- src/sys/platform/pc32/isa/clock.c	2008/05/10 17:24:09	1.54
+++ src/sys/platform/pc32/isa/clock.c	2008/08/02 01:14:43	1.55
@@ -83,7 +83,7 @@
 #include <machine/specialreg.h>
 
 #include <machine_base/icu/icu.h>
-#include <bus/isa/i386/isa.h>
+#include <bus/isa/isa.h>
 #include <bus/isa/rtc.h>
 #include <machine_base/isa/timerreg.h>