* files for more information.
*/
-/*
- * $Header$
- */
-
#include <stdio.h>
#include <sys/param.h>
#include <sys/file.h>
#include "arch.h"
#include "globals.h"
#include "interrupt.h"
+#include "interr.h"
#include "lispregs.h"
#include "sbcl.h"
#include <sys/socket.h>
#include <sys/stat.h>
#include <unistd.h>
-#include "x86-validate.h"
+#include "validate.h"
size_t os_vm_page_size;
#if defined GENCGC