# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1676405114 -3600
# Node ID 981e2c4ac7985f8ab0f93e22dac574786b521259
# Parent  61b8d7a850380f1e392bbd51895b92d4783b9904
Parameterised task initialisation methods with the number of initial threads.

diff -r 61b8d7a85038 -r 981e2c4ac798 libexec/include/exec/process.h
--- a/libexec/include/exec/process.h	Mon Feb 13 18:03:45 2023 +0100
+++ b/libexec/include/exec/process.h	Tue Feb 14 21:05:14 2023 +0100
@@ -82,7 +82,7 @@
 
   /* Task and thread initialisation. */
 
-  long create_task();
+  long create_task(unsigned int threads);
 
   long create_thread(l4_cap_idx_t *thread);
 
@@ -91,7 +91,7 @@
 
   l4_cap_idx_t allocate_cap();
 
-  long configure_task();
+  long configure_task(unsigned int threads = 2);
 
   long configure_thread(l4_cap_idx_t server, l4_cap_idx_t mapped_cap = L4_INVALID_CAP);
 
diff -r 61b8d7a85038 -r 981e2c4ac798 libexec/lib/src/process.cc
--- a/libexec/lib/src/process.cc	Mon Feb 13 18:03:45 2023 +0100
+++ b/libexec/lib/src/process.cc	Tue Feb 14 21:05:14 2023 +0100
@@ -87,14 +87,14 @@
 
 /* Task and thread initialisation. */
 
-long Process::create_task()
+long Process::create_task(unsigned int threads)
 {
   _task = ipc_cap_alloc();
 
   if (l4_is_invalid_cap(_task))
     return -L4_ENOMEM;
 
-  return l4_error(l4_factory_create_task(l4re_env()->factory, _task, get_utcb_fpage(0, 2)));
+  return l4_error(l4_factory_create_task(l4re_env()->factory, _task, get_utcb_fpage(0, threads)));
 }
 
 long Process::create_thread(l4_cap_idx_t *thread)
@@ -109,9 +109,9 @@
 
 /* Configure the task environment. */
 
-long Process::configure_task()
+long Process::configure_task(unsigned int threads)
 {
-  long err = create_task();
+  long err = create_task(threads);
 
   if (err)
     return err;