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>
---
 ipc/ipc_kmsg.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ipc/ipc_kmsg.c')

diff --git a/ipc/ipc_kmsg.c b/ipc/ipc_kmsg.c
index bd843804..8bd645ff 100644
--- a/ipc/ipc_kmsg.c
+++ b/ipc/ipc_kmsg.c
@@ -42,7 +42,6 @@
 #include <mach/message.h>
 #include <mach/port.h>
 #include <machine/locore.h>
-#include <machine/copy_user.h>
 #include <kern/assert.h>
 #include <kern/debug.h>
 #include <kern/kalloc.h>
@@ -51,6 +50,7 @@
 #include <vm/vm_kern.h>
 #include <vm/vm_user.h>
 #include <ipc/port.h>
+#include <ipc/copy_user.h>
 #include <ipc/ipc_entry.h>
 #include <ipc/ipc_kmsg.h>
 #include <ipc/ipc_thread.h>
-- 
cgit v1.2.3