1.1 --- a/libsystypes/idl/region_mapper.idl	Fri Sep 16 15:17:22 2022 +0200
     1.2 +++ b/libsystypes/idl/region_mapper.idl	Fri Sep 16 15:24:38 2022 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4  #include <l4/re/protocols.h>  /* L4RE_PROTO_RM */
     1.5 -#include <systypes/base.h>    /* address_t, offset_t */
     1.6 +#include <systypes/base.h>    /* address_t */
     1.7  
     1.8  /* A region mapper/manager interface. */
     1.9  
    1.10 @@ -9,27 +9,27 @@
    1.11    /* Attach the memory associated with a dataspace, employing the given start
    1.12       address to search for a suitable address for the region. */
    1.13  
    1.14 -  [opcode(0)] void attach(inout address_t start, in offset_t size,
    1.15 +  [opcode(0)] void attach(inout address_t start, in address_t size,
    1.16                            in map_flags_t flags, in cap ds,
    1.17                            in address_t offset, in unsigned char align);
    1.18  
    1.19    /* Detach memory from the task, searching from the given address for a region
    1.20       of the given size. Return the start address, region size and dataspace. */
    1.21  
    1.22 -  [opcode(1)] void detach(in address_t addr, in offset_t size,
    1.23 +  [opcode(1)] void detach(in address_t addr, in address_t size,
    1.24                            in map_flags_t flags, out address_t start,
    1.25 -                          out offset_t rsize, out cap ds);
    1.26 +                          out address_t rsize, out cap ds);
    1.27  
    1.28    /* Find a region starting from the given address and having the given size.
    1.29       Return the start address, region size and dataspace. */
    1.30  
    1.31 -  [opcode(2)] void find(inout address_t addr, inout offset_t size,
    1.32 +  [opcode(2)] void find(inout address_t addr, inout address_t size,
    1.33                          out map_flags_t flags, out address_t offset,
    1.34                          out cap ds);
    1.35  
    1.36    /* Reserve an area in the region map. */
    1.37  
    1.38 -  [opcode(3)] void reserve_area(inout address_t start, in offset_t size,
    1.39 +  [opcode(3)] void reserve_area(inout address_t start, in address_t size,
    1.40                                  in map_flags_t flags, in unsigned char align);
    1.41  
    1.42    /* Free (or unreserve) an area in the region map. */