From afec41f9d80cb1f923d0d4f76af832b036dc2f4f Mon Sep 17 00:00:00 2001
From: LD <luca@orpolo.org>
Date: Sat, 9 Mar 2024 15:02:44 +0100
Subject: move x86 copy_user.[ch] to ipc/ and make it arch-indipendent

Message-ID: <20240309140244.347835-3-luca@orpolo.org>
---
 kern/ipc_mig.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kern/ipc_mig.c')

diff --git a/kern/ipc_mig.c b/kern/ipc_mig.c
index d26d2c6d..b753a25f 100644
--- a/kern/ipc_mig.c
+++ b/kern/ipc_mig.c
@@ -30,7 +30,6 @@
 #include <mach/mig_support.h>
 #include <mach/thread_status.h>
 #include <machine/locore.h>
-#include <machine/copy_user.h>
 #include <kern/ast.h>
 #include <kern/debug.h>
 #include <kern/ipc_tt.h>
@@ -42,6 +41,7 @@
 #include <kern/ipc_mig.h>
 #include <vm/vm_map.h>
 #include <vm/vm_user.h>
+#include <ipc/copy_user.h>
 #include <ipc/port.h>
 #include <ipc/ipc_kmsg.h>
 #include <ipc/ipc_entry.h>
-- 
cgit v1.2.3