X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Flinux-os.c;h=6c185ae75f4fa3122dfac1f297acad4844fd6c34;hb=4fc9d21ae1d8a6a2f8ff70f589d5da103203de13;hp=9d8ee0ac8b29e26749bf016f51650ef19d7d5993;hpb=5f338d314224411587a7cac218ea320bc982f19f;p=sbcl.git

diff --git a/src/runtime/linux-os.c b/src/runtime/linux-os.c
index 9d8ee0a..6c185ae 100644
--- a/src/runtime/linux-os.c
+++ b/src/runtime/linux-os.c
@@ -19,10 +19,6 @@
  * files for more information.
  */
 
-/*
- * $Header$
- */
-
 #include <stdio.h>
 #include <sys/param.h>
 #include <sys/file.h>
@@ -31,6 +27,7 @@
 #include "arch.h"
 #include "globals.h"
 #include "interrupt.h"
+#include "interr.h"
 #include "lispregs.h"
 #include "sbcl.h"
 #include <sys/socket.h>
@@ -43,7 +40,7 @@
 #include <sys/stat.h>
 #include <unistd.h>
 
-#include "x86-validate.h"
+#include "validate.h"
 size_t os_vm_page_size;
 
 #if defined GENCGC