1.1 --- a/libexec/include/exec/process.h Mon Mar 06 16:19:15 2023 +0100
1.2 +++ b/libexec/include/exec/process.h Mon Mar 06 18:30:22 2023 +0100
1.3 @@ -91,16 +91,18 @@
1.4
1.5 l4_cap_idx_t allocate_cap();
1.6
1.7 - long configure_task(l4_cap_idx_t *task, l4_cap_idx_t *rtask, unsigned int threads = 2);
1.8 + long configure_task(l4_cap_idx_t *task, l4_cap_idx_t *mapped_task,
1.9 + unsigned int threads = 2);
1.10
1.11 - long configure_thread(l4_cap_idx_t server, l4_cap_idx_t *mapped_cap = NULL);
1.12 + long configure_thread(l4_cap_idx_t rm, l4_cap_idx_t *mapped_rm = NULL);
1.13
1.14 - long set_parent(l4_cap_idx_t parent, l4_cap_idx_t *rparent);
1.15 + long set_parent(l4_cap_idx_t parent, l4_cap_idx_t *mapped_parent);
1.16
1.17 long map_capabilities(struct ipc_mapped_cap mapped_caps[],
1.18 bool to_count = true);
1.19
1.20 - long thread_start(l4_addr_t program_start, Stack &st, l4_cap_idx_t *thread, l4_cap_idx_t *rthread);
1.21 + long thread_start(l4_addr_t program_start, Stack &st, l4_cap_idx_t *thread,
1.22 + l4_cap_idx_t *mapped_thread);
1.23 };
1.24
1.25 /* vim: tabstop=2 expandtab shiftwidth=2