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/boot_script.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'kern/boot_script.h') diff --git a/kern/boot_script.h b/kern/boot_script.h index c007d777..d1f968d6 100644 --- a/kern/boot_script.h +++ b/kern/boot_script.h @@ -74,8 +74,8 @@ int boot_script_exec_cmd (void *hook, int boot_script_task_create (struct cmd *); /* task_create + task_suspend */ int boot_script_task_resume (struct cmd *); int boot_script_prompt_task_resume (struct cmd *); -int boot_script_insert_right (struct cmd *, mach_port_t, mach_port_t *namep); -int boot_script_insert_task_port (struct cmd *, task_t, mach_port_t *namep); +int boot_script_insert_right (struct cmd *, mach_port_t, mach_port_name_t *namep); +int boot_script_insert_task_port (struct cmd *, task_t, mach_port_name_t *namep); /* The user must define this function to clean up the `task_t' returned by boot_script_task_create. */ -- cgit v1.2.3