aboutsummaryrefslogtreecommitdiff
path: root/ipc/ipc_mqueue.c
diff options
context:
space:
mode:
authorLD <luca@orpolo.org>2024-03-09 15:02:44 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2024-03-09 18:51:33 +0100
commitafec41f9d80cb1f923d0d4f76af832b036dc2f4f (patch)
tree2952a39068c1660b96f589593ab435de8e12fa94 /ipc/ipc_mqueue.c
parent8e726dc9abda7027922444a53eb3131c8e267666 (diff)
downloadgnumach-afec41f9d80cb1f923d0d4f76af832b036dc2f4f.tar.gz
gnumach-afec41f9d80cb1f923d0d4f76af832b036dc2f4f.tar.bz2
gnumach-afec41f9d80cb1f923d0d4f76af832b036dc2f4f.zip
move x86 copy_user.[ch] to ipc/ and make it arch-indipendent
Message-ID: <20240309140244.347835-3-luca@orpolo.org>
Diffstat (limited to 'ipc/ipc_mqueue.c')
-rw-r--r--ipc/ipc_mqueue.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/ipc/ipc_mqueue.c b/ipc/ipc_mqueue.c
index 44e1eb98..95308f35 100644
--- a/ipc/ipc_mqueue.c
+++ b/ipc/ipc_mqueue.c
@@ -36,13 +36,13 @@
#include <mach/port.h>
#include <mach/message.h>
-#include <machine/copy_user.h>
#include <kern/assert.h>
#include <kern/counters.h>
#include <kern/debug.h>
#include <kern/sched_prim.h>
#include <kern/ipc_sched.h>
#include <kern/ipc_kobject.h>
+#include <ipc/copy_user.h>
#include <ipc/ipc_mqueue.h>
#include <ipc/ipc_thread.h>
#include <ipc/ipc_kmsg.h>