1.1 --- a/dstest_test_client.cc Sat Feb 27 00:04:27 2021 +0100
1.2 +++ b/dstest_test_client.cc Sat Feb 27 23:41:06 2021 +0100
1.3 @@ -30,6 +30,7 @@
1.4
1.5 #include <ipc/cap_alloc.h>
1.6 #include <ipc/mem_ipc.h>
1.7 +#include <ipc/thread.h>
1.8
1.9 #include "dataspace_client.h"
1.10 #include "opener_client.h"
1.11 @@ -215,6 +216,7 @@
1.12 /* Introduce concurrency control. */
1.13
1.14 ipc_cap_alloc_init();
1.15 + ipc_mem_init();
1.16
1.17 std::thread *activities[NUMBER_OF_FILES * START_LIMIT];
1.18 l4_cap_idx_t context_refs[NUMBER_OF_FILES];
2.1 --- a/dstest_test_server.cc Sat Feb 27 00:04:27 2021 +0100
2.2 +++ b/dstest_test_server.cc Sat Feb 27 23:41:06 2021 +0100
2.3 @@ -22,7 +22,7 @@
2.4 #include <l4/re/env.h>
2.5 #include <l4/sys/err.h>
2.6
2.7 -#include <ipc/cap_alloc.h>
2.8 +#include <ipc/thread.h>
2.9
2.10 #include <stdio.h>
2.11 #include <string.h>