diff options
| author | LD <luca@orpolo.org> | 2024-03-09 15:02:44 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-03-09 18:51:33 +0100 |
| commit | afec41f9d80cb1f923d0d4f76af832b036dc2f4f (patch) | |
| tree | 2952a39068c1660b96f589593ab435de8e12fa94 /kern | |
| parent | 8e726dc9abda7027922444a53eb3131c8e267666 (diff) | |
| download | gnumach-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 'kern')
| -rw-r--r-- | kern/ipc_mig.c | 2 |
1 files changed, 1 insertions, 1 deletions
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> |