--- src/sys/kern/kern_checkpoint.c	2006/09/05 00:55:45	1.10
+++ src/sys/kern/kern_checkpoint.c	2006/10/23 21:50:33	1.11
@@ -60,11 +60,11 @@
 #include <sys/namei.h>
 #include <sys/vnode.h>
 #include <machine/limits.h>
-#include <i386/include/frame.h>
+#include <machine/frame.h>
 #include <sys/signalvar.h>
 #include <sys/syslog.h>
 #include <sys/sysctl.h>
-#include <i386/include/sigframe.h>
+#include <machine/sigframe.h>
 #include <sys/exec.h>
 #include <sys/unistd.h>
 #include <sys/time.h>