--- Gnu-Mach/ipc/ipc_mqueue.c	2020/09/02 04:45:08	1.1.1.3
+++ Gnu-Mach/ipc/ipc_mqueue.c	2020/09/02 04:47:20	1.1.1.4
@@ -79,9 +79,9 @@ ipc_mqueue_init(
 
 void
 ipc_mqueue_move(
-	ipc_mqueue_t	dest,
-	ipc_mqueue_t	source,
-	ipc_port_t	port)
+	ipc_mqueue_t		dest,
+	ipc_mqueue_t		source,
+	const ipc_port_t	port)
 {
 	ipc_kmsg_queue_t oldq, newq;
 	ipc_thread_queue_t blockedq;
@@ -171,10 +171,10 @@ ipc_mqueue_changed(
  */
 
 mach_msg_return_t
-ipc_mqueue_send(kmsg, option, time_out)
-	ipc_kmsg_t kmsg;
-	mach_msg_option_t option;
-	mach_msg_timeout_t time_out;
+ipc_mqueue_send(
+	ipc_kmsg_t 		kmsg,
+	mach_msg_option_t 	option,
+	mach_msg_timeout_t 	time_out)
 {
 	ipc_port_t port;