--- src/sys/bus/isa/syscons_isa.c	2005/10/30 23:00:56	1.7
+++ src/sys/bus/isa/syscons_isa.c	2006/10/23 21:50:31	1.8
@@ -48,7 +48,7 @@
 #include <vm/vm.h>
 #include <vm/pmap.h>
 
-#include <i386/isa/timerreg.h>
+#include <arch/isa/timerreg.h>
 
 #define BIOS_CLKED	(1 << 6)
 #define BIOS_NLKED	(1 << 5)