diff options
| author | Flavio Cruz <flaviocruz@gmail.com> | 2022-12-06 23:57:08 -0500 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2022-12-07 23:26:32 +0100 |
| commit | 688a82ff324403dd2b439755a3d95773e691be69 (patch) | |
| tree | 8c3da6bc01286b8191bc5709ea4b6911864d0dc6 /kern/boot_script.c | |
| parent | a2104ef630ca2f2eb264fd39b1adcc891c1ce6c7 (diff) | |
| download | gnumach-688a82ff324403dd2b439755a3d95773e691be69.tar.gz gnumach-688a82ff324403dd2b439755a3d95773e691be69.tar.bz2 gnumach-688a82ff324403dd2b439755a3d95773e691be69.zip | |
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>
Diffstat (limited to 'kern/boot_script.c')
| -rw-r--r-- | kern/boot_script.c | 4 |
1 files changed, 2 insertions, 2 deletions
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) { |