Re: [PATCH] Update kern/ directory to use mach_port_name_t.

Applied, thanks! Flavio Cruz, le mar. 06 déc. 2022 23:57:08 -0500, a ecrit: > Make it clear where exactly we use port names vs port addresses. > --- > kern/boot_script.c | 4 ++-- > kern/boot_script.h | 4 ++-- > kern/bootstrap.c| 12 ++-- > kern/ipc_host.c | 2 +- > kern/ipc

[PATCH] Update kern/ directory to use mach_port_name_t.

Make it clear where exactly we use port names vs port addresses. --- kern/boot_script.c | 4 ++-- kern/boot_script.h | 4 ++-- kern/bootstrap.c| 12 ++-- kern/ipc_host.c | 2 +- kern/ipc_tt.c | 4 ++-- kern/syscall_subr.c | 4 ++-- kern/syscall_subr.h | 2 +- kern/sys