1.1 --- a/libfsserver/include/fsserver/resource_server.h Mon Mar 20 22:38:24 2023 +0100
1.2 +++ b/libfsserver/include/fsserver/resource_server.h Tue Mar 21 19:23:34 2023 +0100
1.3 @@ -55,9 +55,11 @@
1.4
1.5 long start(bool finalisation = false);
1.6
1.7 - long start_thread();
1.8 + long start_in_thread(l4_cap_idx_t thread, bool finalisation = false);
1.9
1.10 - long start_thread(l4_cap_idx_t *server);
1.11 + long start_thread(bool finalisation = true);
1.12 +
1.13 + long start_thread(l4_cap_idx_t *server, bool finalisation = true);
1.14 };
1.15
1.16
1.17 @@ -67,7 +69,8 @@
1.18 void resource_init_config(ipc_server_config_type *config, Resource *resource);
1.19
1.20 void resource_set_config_threaded(ipc_server_config_type *config,
1.21 - l4_cap_idx_t thread, int new_thread);
1.22 + l4_cap_idx_t thread, int new_thread,
1.23 + int finalisation);
1.24
1.25 /* Server initiation. */
1.26