# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1702162154 -3600
# Node ID 8fed225b8c0f4d5a139a791db690bf0fd51f499b
# Parent  0333d9a1400ab9002026e5d56bbbaffc3b061b1c
Attempt to prevent warnings by cancelling pager IPC before unmapping the pager.

diff -r 0333d9a1400a -r 8fed225b8c0f libexec/lib/src/process_monitor.cc
--- a/libexec/lib/src/process_monitor.cc	Sat Dec 09 22:13:54 2023 +0100
+++ b/libexec/lib/src/process_monitor.cc	Sat Dec 09 23:49:14 2023 +0100
@@ -19,6 +19,8 @@
  * Boston, MA  02110-1301, USA
  */
 
+#include <l4/sys/thread.h>
+
 #include <ipc/cap_alloc.h>
 #include <ipc/map.h>
 #include <systypes/base.h>
@@ -119,6 +121,10 @@
   {
     printf("Signal from task.\n");
 
+    /* Cancel any IPC to avoid spurious pager warnings. */
+
+    l4_thread_ex_regs(_pager, ~0UL, ~0UL, L4_THREAD_EX_REGS_CANCEL);
+
     /* Once the program exits, the IPC gate connecting the program with its
        internal pager can be released. This will cause the internal pager to
        finish, which is then handled by the external pager. */