#include "kernel/proc.h"
#include "kernel/glo.h"
-#include "proto.h"
+#include "arch_proto.h"
#include <minix/u64.h>
#include "kernel/system.h"
#include <minix/type.h>
-#include "proto.h"
+#include "arch_proto.h"
/*===========================================================================*
* arch_do_vmctl *
#include <sys/sigcontext.h>
#include "archconst.h"
-#include "proto.h"
+#include "arch_proto.h"
#include "serial.h"
#include "oxpcie.h"
#include "kernel/proc.h"
#include "kernel/kernel.h"
#include "kernel/watchdog.h"
-#include "proto.h"
+#include "arch_proto.h"
#include <minix/minlib.h>
#include <minix/u64.h>
#include "kernel/kernel.h"
-#include "proto.h"
+#include "arch_proto.h"
#include "debugreg.h"
#include <minix/endpoint.h>
#include <machine/int86.h>
-#include "proto.h"
+#include "arch_proto.h"
struct reg86u reg86;
#include "kernel/kernel.h"
#include <minix/endpoint.h>
-#include "proto.h"
+#include "arch_proto.h"
/*===========================================================================*
* do_iopenable *
#include <minix/devio.h>
#include <minix/endpoint.h>
-#include "proto.h"
+#include "arch_proto.h"
#if USE_SDEVIO
*/
#include "kernel/kernel.h"
-#include "proto.h"
+#include "arch_proto.h"
#include <signal.h>
#include <string.h>
#include <assert.h>
#include "kernel/kernel.h"
#include "kernel/proc.h"
-#include "proto.h"
+#include "arch_proto.h"
#include <minix/portio.h>
#include <machine/cpu.h>
#include <machine/vm.h>
#include "oxpcie.h"
-#include "proto.h"
+#include "arch_proto.h"
#include "kernel/proto.h"
#include "kernel/debug.h"
#include <machine/partition.h>
#include "../../../boot/image.h"
#include "string.h"
-#include "proto.h"
+#include "arch_proto.h"
#include "multiboot.h"
/* Granularity used in image file and copying */
#include "kernel/proc.h"
#include "archconst.h"
-#include "proto.h"
+#include "arch_proto.h"
#define INT_GATE_TYPE (INT_286_GATE | DESC_386_BIT)
#define TSS_TYPE (AVL_286_TSS | DESC_386_BIT)