2 files changed, 2 insertions, 10 deletions
diff --git a/kern/ipc_mig.c b/kern/ipc_mig.c
index cb0b2c83..d6171877 100644
--- a/kern/ipc_mig.c
+++ b/kern/ipc_mig.c
@@ -27,6 +27,7 @@
 #include <mach/boolean.h>
 #include <mach/port.h>
 #include <mach/message.h>
+#include <mach/mig_support.h>
 #include <mach/thread_status.h>
 #include <machine/locore.h>
 #include <machine/copy_user.h>
@@ -285,7 +286,7 @@ mig_put_reply_port(
  *     len - Length of destination buffer.
  */
 vm_size_t
-mig_strncpy(char *dest, const char *src, int len)
+mig_strncpy(char *dest, const char *src, vm_size_t len)
 {
 	char *dest_ = dest;
 	int i;
diff --git a/kern/ipc_mig.h b/kern/ipc_mig.h
index cd298efe..a8ee7869 100644
--- a/kern/ipc_mig.h
+++ b/kern/ipc_mig.h
@@ -139,13 +139,4 @@ io_return_t syscall_device_writev_request(
 			rpc_io_buf_vec_t	*iovec,
 			rpc_vm_size_t	iocount);
 
-mach_port_name_t mig_get_reply_port(void);
-
-void mig_dealloc_reply_port(mach_port_t reply_port);
-
-void mig_put_reply_port(mach_port_t reply_port);
-
-vm_size_t
-mig_strncpy(char *dest, const char *src, int len);
-
 #endif /* _IPC_MIG_H_ */