1.1 --- a/tests/dstest_exec.cc Sun Dec 11 01:23:05 2022 +0100
1.2 +++ b/tests/dstest_exec.cc Tue Dec 13 17:05:51 2022 +0100
1.3 @@ -36,7 +36,7 @@
1.4 #include <pthread-l4.h>
1.5 #include <pthread.h>
1.6
1.7 -#include "pager_object_server.h"
1.8 +#include "parent_pager_object_server.h"
1.9
1.10
1.11
1.12 @@ -61,7 +61,7 @@
1.13 pthread_attr_init(&attr);
1.14 pthread_attr_setdetachstate(&attr, PTHREAD_CREATE_DETACHED);
1.15
1.16 - ipc_server_init_for(&config, PagerObject, &exec_pager);
1.17 + ipc_server_init_for(&config, ParentPagerObject, &exec_pager);
1.18
1.19 long err = pthread_create(&pager_thread, &attr, ipc_server_start_mainloop, &config);
1.20
1.21 @@ -172,6 +172,14 @@
1.22 return 1;
1.23 }
1.24
1.25 + err = process.set_parent(config.server);
1.26 +
1.27 + if (err)
1.28 + {
1.29 + printf("Could not map parent to task for internal pager.\n");
1.30 + return 1;
1.31 + }
1.32 +
1.33 /* Create an unbound IPC gate for the region mapper. */
1.34
1.35 l4_cap_idx_t ipc_gate = ipc_cap_alloc();
1.36 @@ -297,6 +305,14 @@
1.37 return 1;
1.38 }
1.39
1.40 + err = process.set_parent(config.server);
1.41 +
1.42 + if (err)
1.43 + {
1.44 + printf("Could not map parent to task for payload.\n");
1.45 + return 1;
1.46 + }
1.47 +
1.48 /* Populate a thread stack with argument and environment details for the
1.49 actual program. The server capability should be assigned to the region
1.50 mapper capability slot already. */