1.1 --- a/libexec/include/exec/process_creating.h Sun Feb 26 22:19:31 2023 +0100
1.2 +++ b/libexec/include/exec/process_creating.h Mon Feb 27 14:46:13 2023 +0100
1.3 @@ -26,7 +26,6 @@
1.4 #include <exec/memory.h>
1.5 #include <exec/process.h>
1.6 #include <ipc/map.h>
1.7 -#include <ipc/server.h>
1.8
1.9
1.10
1.11 @@ -40,7 +39,6 @@
1.12 /* External pager configuration. */
1.13
1.14 ExternalPager *_exec_pager = NULL;
1.15 - ipc_server_config_type _config;
1.16
1.17 /* Process construction. */
1.18
1.19 @@ -67,9 +65,9 @@
1.20
1.21 long init_program(file_t *file);
1.22
1.23 - long init_external_pager();
1.24 + long init_external_pager(l4_cap_idx_t *pager);
1.25
1.26 - long configure_task();
1.27 + long configure_task(l4_cap_idx_t pager);
1.28
1.29 long create_ipc_gate();
1.30
1.31 @@ -77,7 +75,7 @@
1.32 struct ipc_mapped_cap *mapped_caps,
1.33 struct exec_region &r, unsigned int &index);
1.34
1.35 - long start_region_mapper();
1.36 + long start_region_mapper(l4_cap_idx_t pager);
1.37
1.38 long start_program(int argc, const char *argv[]);
1.39