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(®s), l4_utcb_exc_pc(®s));
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(®s), l4_utcb_exc_pc(®s));
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