1.1 --- a/libexec/include/exec/process.h Thu Mar 23 15:42:39 2023 +0100
1.2 +++ b/libexec/include/exec/process.h Fri Mar 24 00:46:26 2023 +0100
1.3 @@ -96,9 +96,9 @@
1.4 long configure_task(l4_cap_idx_t *task, l4_cap_idx_t *mapped_task,
1.5 unsigned int threads = 2);
1.6
1.7 - long configure_thread(l4_cap_idx_t rm, l4_cap_idx_t *mapped_rm = NULL);
1.8 + long set_pager(l4_cap_idx_t rm, l4_cap_idx_t *mapped_rm = NULL);
1.9
1.10 - long set_parent(l4_cap_idx_t parent, l4_cap_idx_t *mapped_parent);
1.11 + long set_parent(l4_cap_idx_t parent, l4_cap_idx_t *mapped_parent = NULL);
1.12
1.13 long map_capabilities(struct ipc_mapped_cap mapped_caps[],
1.14 bool to_count = true);