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.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'kern/boot_script.c') diff --git a/kern/boot_script.c b/kern/boot_script.c index 7e31075f..07ce4b35 100644 --- a/kern/boot_script.c +++ b/kern/boot_script.c @@ -548,7 +548,7 @@ boot_script_exec (void) { char *p, buf[50]; int len; - mach_port_t name; + mach_port_name_t name; if (arg->type == VAL_SYM) { @@ -750,7 +750,7 @@ main (int argc, char **argv) char buf[500], *p; int len; FILE *fp; - mach_port_t host_port, device_port; + mach_port_name_t host_port, device_port; if (argc < 2) { -- cgit v1.2.3