--- Gnu-Mach/kern/ipc_host.c	2020/09/02 04:45:22	1.1.1.3
+++ Gnu-Mach/kern/ipc_host.c	2020/09/02 04:47:43	1.1.1.4
@@ -205,7 +205,7 @@ ipc_pset_terminate(
  */
 kern_return_t
 processor_set_default(
-	host_t		host,
+	const host_t	host,
 	processor_set_t	*pset)
 {
 	if (host == HOST_NULL)