libexec/lib/src/internal_pager.cc | raw changeset files shortlog |
1.1 --- a/libexec/lib/src/internal_pager.cc Sat Dec 09 01:24:59 2023 +0100 1.2 +++ b/libexec/lib/src/internal_pager.cc Sat Dec 09 01:26:55 2023 +0100 1.3 @@ -161,6 +161,8 @@ 1.4 long InternalPager::detach(address_t addr, address_t size, map_flags_t flags, 1.5 address_t *start, address_t *rsize, l4_cap_idx_t *ds) 1.6 { 1.7 + (void) size; (void) flags; 1.8 + 1.9 /* Obtain the region supporting the given address. 1.10 NOTE: All regions within the given range should be detached. */ 1.11