From 688a82ff324403dd2b439755a3d95773e691be69 Mon Sep 17 00:00:00 2001
From: Flavio Cruz <flaviocruz@gmail.com>
Date: Tue, 6 Dec 2022 23:57:08 -0500
Subject: Update kern/ directory to use mach_port_name_t.

Make it clear where exactly we use port names vs port addresses.
Message-Id: <Y5AdJGuzXBMO7YRK@reue>
---
 kern/syscall_subr.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kern/syscall_subr.c')

diff --git a/kern/syscall_subr.c b/kern/syscall_subr.c
index 6d23462c..1aa4bc27 100644
--- a/kern/syscall_subr.c
+++ b/kern/syscall_subr.c
@@ -152,8 +152,8 @@ void thread_switch_continue(void)
  *	even if that violates priority order.
  */
 kern_return_t thread_switch(
-	mach_port_t 		thread_name,
-	int 			option,
+	mach_port_name_t 	thread_name,
+	int					option,
 	mach_msg_timeout_t 	option_time)
 {
     thread_t			cur_thread = current_thread();
-- 
cgit v1.2.3