1.1 --- a/libexec/lib/src/external_pager.cc	Fri Sep 16 15:17:22 2022 +0200
     1.2 +++ b/libexec/lib/src/external_pager.cc	Fri Sep 16 15:24:38 2022 +0200
     1.3 @@ -154,7 +154,7 @@
     1.4     the initialisation of a program by the C library which requires a region
     1.5     mapper. */
     1.6  
     1.7 -long ExternalPager::attach(address_t *start, offset_t size, map_flags_t flags,
     1.8 +long ExternalPager::attach(address_t *start, address_t size, map_flags_t flags,
     1.9                             l4_cap_idx_t ds, address_t offset,
    1.10                             unsigned char align)
    1.11  {
    1.12 @@ -165,8 +165,8 @@
    1.13    if (align < L4_PAGESHIFT)
    1.14      align = L4_PAGESHIFT;
    1.15  
    1.16 -  offset_t increment = 1UL << align;
    1.17 -  offset_t region_size = round(size, increment);
    1.18 +  address_t increment = 1UL << align;
    1.19 +  address_t region_size = round(size, increment);
    1.20  
    1.21    /* Either attempt to find an address for the specified region, starting from
    1.22       any indicated address. */