From 688a82ff324403dd2b439755a3d95773e691be69 Mon Sep 17 00:00:00 2001 From: Flavio Cruz 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: --- kern/syscall_subr.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kern/syscall_subr.h') diff --git a/kern/syscall_subr.h b/kern/syscall_subr.h index b6b61ab2..c9a2777f 100644 --- a/kern/syscall_subr.h +++ b/kern/syscall_subr.h @@ -33,7 +33,7 @@ extern int swtch(void); extern int swtch_pri(int); -extern int thread_switch(mach_port_t, int, mach_msg_timeout_t); +extern int thread_switch(mach_port_name_t, int, mach_msg_timeout_t); extern void thread_depress_timeout(thread_t); extern kern_return_t thread_depress_abort(thread_t); extern void mach_print(const char *); -- cgit v1.2.3