# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1702081615 -3600
# Node ID b2aa14224c26e041fcaa80b2b52f2630a8d47bcb
# Parent  130727a2993db586551b7e6a9b9ba9178abdd959
Ignored unused parameters.

diff -r 130727a2993d -r b2aa14224c26 libexec/lib/src/external_pager.cc
--- a/libexec/lib/src/external_pager.cc	Sat Dec 09 01:24:59 2023 +0100
+++ b/libexec/lib/src/external_pager.cc	Sat Dec 09 01:26:55 2023 +0100
@@ -275,6 +275,8 @@
 
 long ExternalPager::signal(unsigned long sig, unsigned long val)
 {
+  (void) val;
+
   /* Handle the termination event of the internal pager. */
 
   if (sig == 0)
diff -r 130727a2993d -r b2aa14224c26 libexec/lib/src/internal_pager.cc
--- a/libexec/lib/src/internal_pager.cc	Sat Dec 09 01:24:59 2023 +0100
+++ b/libexec/lib/src/internal_pager.cc	Sat Dec 09 01:26:55 2023 +0100
@@ -161,6 +161,8 @@
 long InternalPager::detach(address_t addr, address_t size, map_flags_t flags,
                            address_t *start, address_t *rsize, l4_cap_idx_t *ds)
 {
+  (void) size; (void) flags;
+
   /* Obtain the region supporting the given address.
      NOTE: All regions within the given range should be detached. */