1.1 --- a/libexec/lib/src/external_pager.cc Sat Dec 09 01:24:59 2023 +0100
1.2 +++ b/libexec/lib/src/external_pager.cc Sat Dec 09 01:26:55 2023 +0100
1.3 @@ -275,6 +275,8 @@
1.4
1.5 long ExternalPager::signal(unsigned long sig, unsigned long val)
1.6 {
1.7 + (void) val;
1.8 +
1.9 /* Handle the termination event of the internal pager. */
1.10
1.11 if (sig == 0)
2.1 --- a/libexec/lib/src/internal_pager.cc Sat Dec 09 01:24:59 2023 +0100
2.2 +++ b/libexec/lib/src/internal_pager.cc Sat Dec 09 01:26:55 2023 +0100
2.3 @@ -161,6 +161,8 @@
2.4 long InternalPager::detach(address_t addr, address_t size, map_flags_t flags,
2.5 address_t *start, address_t *rsize, l4_cap_idx_t *ds)
2.6 {
2.7 + (void) size; (void) flags;
2.8 +
2.9 /* Obtain the region supporting the given address.
2.10 NOTE: All regions within the given range should be detached. */
2.11