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 | |
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>
-rw-r--r-- | kern/boot_script.c | 4 | ||||
-rw-r--r-- | kern/boot_script.h | 4 | ||||
-rw-r--r-- | kern/bootstrap.c | 12 | ||||
-rw-r--r-- | kern/ipc_host.c | 2 | ||||
-rw-r--r-- | kern/ipc_tt.c | 4 | ||||
-rw-r--r-- | kern/syscall_subr.c | 4 | ||||
-rw-r--r-- | kern/syscall_subr.h | 2 | ||||
-rw-r--r-- | kern/syscall_sw.c | 2 |
8 files changed, 17 insertions, 17 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) { 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. */ diff --git a/kern/bootstrap.c b/kern/bootstrap.c index 61f179cf..6593fed1 100644 --- a/kern/bootstrap.c +++ b/kern/bootstrap.c @@ -77,8 +77,8 @@ extern struct multiboot_raw_info boot_info; /* XXX put this in a header! */ #include "boot_script.h" -static mach_port_t boot_device_port; /* local name */ -static mach_port_t boot_host_port; /* local name */ +static mach_port_name_t boot_device_port; /* local name */ +static mach_port_name_t boot_host_port; /* local name */ extern char *kernel_cmdline; @@ -87,12 +87,12 @@ static void user_bootstrap_compat(void); /* forward */ static void bootstrap_exec_compat(void *exec_data); /* forward */ static void get_compat_strings(char *flags_str, char *root_str); /* forward */ -static mach_port_t +static mach_port_name_t task_insert_send_right( task_t task, ipc_port_t port) { - mach_port_t name; + mach_port_name_t name; for (name = 1;; name++) { kern_return_t kr; @@ -902,7 +902,7 @@ boot_script_free_task (task_t task, int aborting) } int -boot_script_insert_right (struct cmd *cmd, mach_port_t port, mach_port_t *name) +boot_script_insert_right (struct cmd *cmd, mach_port_t port, mach_port_name_t *name) { *name = task_insert_send_right (cmd->task, ipc_port_make_send((ipc_port_t) port)); @@ -910,7 +910,7 @@ boot_script_insert_right (struct cmd *cmd, mach_port_t port, mach_port_t *name) } int -boot_script_insert_task_port (struct cmd *cmd, task_t task, mach_port_t *name) +boot_script_insert_task_port (struct cmd *cmd, task_t task, mach_port_name_t *name) { *name = task_insert_send_right (cmd->task, ipc_port_make_send(task->itk_sself)); diff --git a/kern/ipc_host.c b/kern/ipc_host.c index a02eb6f6..6163beff 100644 --- a/kern/ipc_host.c +++ b/kern/ipc_host.c @@ -94,7 +94,7 @@ void ipc_host_init(void) * or other errors. */ -mach_port_t +mach_port_name_t mach_host_self(void) { ipc_port_t sright; diff --git a/kern/ipc_tt.c b/kern/ipc_tt.c index 0b10204c..d2a22f9f 100644 --- a/kern/ipc_tt.c +++ b/kern/ipc_tt.c @@ -511,7 +511,7 @@ retrieve_thread_exception(thread) * or other errors. */ -mach_port_t +mach_port_name_t mach_task_self(void) { task_t task = current_task(); @@ -532,7 +532,7 @@ mach_task_self(void) * or other errors. */ -mach_port_t +mach_port_name_t mach_thread_self(void) { thread_t thread = current_thread(); diff --git a/kern/syscall_subr.c b/kern/syscall_subr.c index 6d23462c..1aa4bc27 100644 --- a/kern/syscall_subr.c +++ b/kern/syscall_subr.c @@ -152,8 +152,8 @@ void thread_switch_continue(void) * even if that violates priority order. */ kern_return_t thread_switch( - mach_port_t thread_name, - int option, + mach_port_name_t thread_name, + int option, mach_msg_timeout_t option_time) { thread_t cur_thread = current_thread(); 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 *); diff --git a/kern/syscall_sw.c b/kern/syscall_sw.c index a383e467..3cdefde1 100644 --- a/kern/syscall_sw.c +++ b/kern/syscall_sw.c @@ -60,7 +60,7 @@ boolean_t kern_invalid_debug = FALSE; -mach_port_t null_port(void) +mach_port_name_t null_port(void) { if (kern_invalid_debug) SoftDebugger("null_port mach trap"); return(MACH_PORT_NULL); |