# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1680011805 -7200
# Node ID e83cefef2cd73ddcc07803c9f4b80cc64485606c
# Parent  2760d95e223b4204831af206cd7c0bddac9c01e5
Make the pagers loop forever when encountering an exception.

diff -r 2760d95e223b -r e83cefef2cd7 libexec/lib/src/external_pager.cc
--- a/libexec/lib/src/external_pager.cc	Sun Mar 26 22:13:08 2023 +0200
+++ b/libexec/lib/src/external_pager.cc	Tue Mar 28 15:56:45 2023 +0200
@@ -161,10 +161,8 @@
 
   printf("ExternalPager::exception(...) -> pfa = %lx, pc = %lx\n", l4_utcb_exc_pfa(&regs), l4_utcb_exc_pc(&regs));
 
-#if DEBUG
   while (1)
     l4_sleep_forever();
-#endif
 
   return L4_EOK;
 }
diff -r 2760d95e223b -r e83cefef2cd7 libexec/lib/src/internal_pager.cc
--- a/libexec/lib/src/internal_pager.cc	Sun Mar 26 22:13:08 2023 +0200
+++ b/libexec/lib/src/internal_pager.cc	Tue Mar 28 15:56:45 2023 +0200
@@ -72,10 +72,8 @@
 
   printf("InternalPager::exception(...) -> pfa = %lx, pc = %lx\n", l4_utcb_exc_pfa(&regs), l4_utcb_exc_pc(&regs));
 
-#if DEBUG
   while (1)
     l4_sleep_forever();
-#endif
 
   return L4_EOK;
 }
@@ -141,7 +139,8 @@
                            l4_cap_idx_t ds, address_t offset,
                            unsigned char align)
 {
-  // NOTE: Determine the purpose of offset.
+  /* NOTE: The offset apparently indicates the offset within the dataspace of
+           the start of the region. */
 
   (void) offset;