Create kern/mach4.h and kern/mach_host.h and define the RPC prototypes for mach4.defs and mach_host.defs.

Also move more mach_debug rpcs to kern/mach_debug.h.
Message-Id: <Y7+LPMLOafUQrNHZ@jupiter.tail36e24.ts.net>

1 files changed, 86 insertions, 0 deletions

diff --git a/kern/mach_host.h b/kern/mach_host.h
new file mode 100644
index 00000000..de644494
--- /dev/null
+++ b/kern/mach_host.h
@@ -0,0 +1,86 @@
+/*
+ * Copyright (C) 2023 Free Software Foundation, Inc.
+ *
+ * This file is part of GNU Mach.
+ *
+ * GNU Mach is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by the
+ * Free Software Foundation; either version 2, or (at your option) any later
+ * version.
+ *
+ * This program is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+ * or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+ * for more details.
+ *
+ * You should have received a copy of the GNU General Public License along
+ * with this program; if not, write to the Free Software Foundation, Inc.,
+ * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
+ */
+
+#ifndef _KERN_MACH_HOST_H
+#define _KERN_MACH_HOST_H
+
+#include <kern/processor.h>
+#include <kern/host.h>
+#include <mach/host_info.h>
+
+/* RPCs */
+
+kern_return_t host_processors(
+	const host_t		host,
+	processor_array_t	*processor_list,
+	natural_t		*countp);
+
+kern_return_t	host_info(
+	const host_t	host,
+	int		flavor,
+	host_info_t	info,
+	natural_t	*count);
+
+kern_return_t host_kernel_version(
+	const host_t		host,
+	kernel_version_t	out_version);
+
+kern_return_t
+host_processor_sets(
+	const host_t			host,
+	processor_set_name_array_t	*pset_list,
+	natural_t			*count);
+
+kern_return_t
+host_processor_set_priv(
+	const host_t	host,
+	processor_set_t	pset_name,
+	processor_set_t	*pset);
+
+kern_return_t
+processor_set_default(
+	const host_t	host,
+	processor_set_t	*pset);
+
+kern_return_t
+host_reboot(const host_t host, int options);
+
+kern_return_t
+host_get_boot_info(
+        host_t              priv_host,
+        kernel_boot_info_t  boot_info);
+
+kern_return_t task_get_assignment(
+	task_t		task,
+	processor_set_t	*pset);
+
+kern_return_t
+thread_wire(
+	host_t		host,
+	thread_t	thread,
+	boolean_t	wired);
+
+kern_return_t thread_get_assignment(
+	thread_t	thread,
+	processor_set_t	*pset);
+
+/* End of RPCs */
+
+#endif /* _KERN_MACH_HOST_H */