1.1 --- a/libexec/include/exec/process.h Mon Mar 06 16:04:23 2023 +0100
1.2 +++ b/libexec/include/exec/process.h Mon Mar 06 16:05:44 2023 +0100
1.3 @@ -91,12 +91,10 @@
1.4
1.5 l4_cap_idx_t allocate_cap();
1.6
1.7 - long configure_task(unsigned int threads = 2);
1.8 + long configure_task(l4_cap_idx_t *task, l4_cap_idx_t *rtask, unsigned int threads = 2);
1.9
1.10 long configure_thread(l4_cap_idx_t server, l4_cap_idx_t *mapped_cap = NULL);
1.11
1.12 - l4_cap_idx_t get_task();
1.13 -
1.14 long set_parent(l4_cap_idx_t parent, l4_cap_idx_t *rparent);
1.15
1.16 long map_capabilities(struct ipc_mapped_cap mapped_caps[],