1.1 --- a/libsystypes/idl/region_mapper.idl Thu Apr 06 21:47:16 2023 +0200
1.2 +++ b/libsystypes/idl/region_mapper.idl Thu Apr 06 21:48:19 2023 +0200
1.3 @@ -15,11 +15,17 @@
1.4 in address_t offset, in unsigned char align);
1.5
1.6 /* Detach memory from the task, searching from the given address for a region
1.7 - of the given size. Return the start address, region size and dataspace. */
1.8 + of the given size. Return the start address, region size and dataspace.
1.9 + Note that the dataspace is returned as an index, not an actual capability.
1.10 +
1.11 + See: pkg/l4re-core/l4re/include/rm
1.12 + See: pkg/l4re-core/l4sys/include/cxx/ipc_iface
1.13 +
1.14 + This is not obvious from the L4Re definitions and the IPC type system. */
1.15
1.16 [opcode(1)] void detach(in address_t addr, in address_t size,
1.17 in map_flags_t flags, out address_t start,
1.18 - out address_t rsize, out cap ds);
1.19 + out address_t rsize, out l4_cap_idx_t ds);
1.20
1.21 /* Find a region starting from the given address and having the given size.
1.22 Return the start address, region size and dataspace. */