1.1 --- a/libsystypes/idl/region_mapper.idl Tue Mar 05 00:18:00 2024 +0100
1.2 +++ b/libsystypes/idl/region_mapper.idl Thu Mar 07 22:41:40 2024 +0100
1.3 @@ -1,5 +1,5 @@
1.4 #include <l4/re/protocols.h> /* L4RE_PROTO_RM */
1.5 -#include <systypes/base.h> /* address_t */
1.6 +#include <systypes/base.h> /* address_t, rm_flags_t, rm_offset_t */
1.7
1.8 /* A region mapper/manager interface.
1.9 See: pkg/l4re-core/l4re/util/include/region_mapping_svr_2 */
1.10 @@ -11,8 +11,8 @@
1.11 address to search for a suitable address for the region. */
1.12
1.13 [opcode(0)] void attach(inout address_t start, in address_t size,
1.14 - in map_flags_t flags, in cap ds,
1.15 - in address_t offset, in unsigned char align);
1.16 + in rm_flags_t flags, in cap ds,
1.17 + in rm_offset_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 @@ -24,20 +24,20 @@
1.22 This is not obvious from the L4Re definitions and the IPC type system. */
1.23
1.24 [opcode(1)] void detach(in address_t addr, in address_t size,
1.25 - in map_flags_t flags, out address_t start,
1.26 + in rm_flags_t flags, out address_t start,
1.27 out address_t rsize, out l4_cap_idx_t ds);
1.28
1.29 /* Find a region starting from the given address and having the given size.
1.30 Return the start address, region size and dataspace. */
1.31
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 rm_flags_t flags, out rm_offset_t offset,
1.35 out cap ds);
1.36
1.37 /* Reserve an area in the region map. */
1.38
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 + in rm_flags_t flags, in unsigned char align);
1.42
1.43 /* Free (or unreserve) an area in the region map. */
1.44