1.1 --- a/libexec/include/exec/process.h Mon Feb 13 18:03:45 2023 +0100
1.2 +++ b/libexec/include/exec/process.h Tue Feb 14 21:05:14 2023 +0100
1.3 @@ -82,7 +82,7 @@
1.4
1.5 /* Task and thread initialisation. */
1.6
1.7 - long create_task();
1.8 + long create_task(unsigned int threads);
1.9
1.10 long create_thread(l4_cap_idx_t *thread);
1.11
1.12 @@ -91,7 +91,7 @@
1.13
1.14 l4_cap_idx_t allocate_cap();
1.15
1.16 - long configure_task();
1.17 + long configure_task(unsigned int threads = 2);
1.18
1.19 long configure_thread(l4_cap_idx_t server, l4_cap_idx_t mapped_cap = L4_INVALID_CAP);
1.20