diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2008-07-17 01:02:02 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:27:16 +0200 |
| commit | ac8b97ff4aea252ee83107033b704b5ab9cf58b0 (patch) | |
| tree | a53b5c79c59343515745a650543daf24656dbef8 /kern/ipc_mig.c | |
| parent | c94759ba7930feda649e73aabf710a4dcfcd0403 (diff) | |
2008-07-15 Barry deFreese <bddebian@comcast.net>
* ipc/mach_port.h: New header.
* ipc/mach_port.c: Include <ipc/mach_port.h>.
(mach_port_get_receive_status): Add forward declaration.
* kern/bootstrap.c: Include <ipc/mach_port.h>.
* kern/ipc_mig.c: Likewise.
* kern/syscall_sw.c: Likewise.
Diffstat (limited to 'kern/ipc_mig.c')
| -rw-r--r-- | kern/ipc_mig.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kern/ipc_mig.c b/kern/ipc_mig.c index 9070d33..3bf2c77 100644 --- a/kern/ipc_mig.c +++ b/kern/ipc_mig.c @@ -46,6 +46,7 @@ #include <ipc/ipc_port.h> #include <ipc/ipc_pset.h> #include <ipc/ipc_thread.h> +#include <ipc/mach_port.h> #include <device/dev_hdr.h> #include <device/device_types.h> |