1.1 --- a/libexec/lib/src/process_monitor.cc Sat Dec 09 22:13:54 2023 +0100
1.2 +++ b/libexec/lib/src/process_monitor.cc Sat Dec 09 23:49:14 2023 +0100
1.3 @@ -19,6 +19,8 @@
1.4 * Boston, MA 02110-1301, USA
1.5 */
1.6
1.7 +#include <l4/sys/thread.h>
1.8 +
1.9 #include <ipc/cap_alloc.h>
1.10 #include <ipc/map.h>
1.11 #include <systypes/base.h>
1.12 @@ -119,6 +121,10 @@
1.13 {
1.14 printf("Signal from task.\n");
1.15
1.16 + /* Cancel any IPC to avoid spurious pager warnings. */
1.17 +
1.18 + l4_thread_ex_regs(_pager, ~0UL, ~0UL, L4_THREAD_EX_REGS_CANCEL);
1.19 +
1.20 /* Once the program exits, the IPC gate connecting the program with its
1.21 internal pager can be released. This will cause the internal pager to
1.22 finish, which is then handled by the external pager. */