1.1 --- a/libexec/lib/src/external_pager.cc	Sun Mar 26 22:13:08 2023 +0200
     1.2 +++ b/libexec/lib/src/external_pager.cc	Tue Mar 28 15:56:45 2023 +0200
     1.3 @@ -161,10 +161,8 @@
     1.4  
     1.5    printf("ExternalPager::exception(...) -> pfa = %lx, pc = %lx\n", l4_utcb_exc_pfa(&regs), l4_utcb_exc_pc(&regs));
     1.6  
     1.7 -#if DEBUG
     1.8    while (1)
     1.9      l4_sleep_forever();
    1.10 -#endif
    1.11  
    1.12    return L4_EOK;
    1.13  }

     2.1 --- a/libexec/lib/src/internal_pager.cc	Sun Mar 26 22:13:08 2023 +0200
     2.2 +++ b/libexec/lib/src/internal_pager.cc	Tue Mar 28 15:56:45 2023 +0200
     2.3 @@ -72,10 +72,8 @@
     2.4  
     2.5    printf("InternalPager::exception(...) -> pfa = %lx, pc = %lx\n", l4_utcb_exc_pfa(&regs), l4_utcb_exc_pc(&regs));
     2.6  
     2.7 -#if DEBUG
     2.8    while (1)
     2.9      l4_sleep_forever();
    2.10 -#endif
    2.11  
    2.12    return L4_EOK;
    2.13  }
    2.14 @@ -141,7 +139,8 @@
    2.15                             l4_cap_idx_t ds, address_t offset,
    2.16                             unsigned char align)
    2.17  {
    2.18 -  // NOTE: Determine the purpose of offset.
    2.19 +  /* NOTE: The offset apparently indicates the offset within the dataspace of
    2.20 +           the start of the region. */
    2.21  
    2.22    (void) offset;
    2.23