1.1 --- a/libsystypes/idl/dataspace.idl Tue Sep 13 00:47:33 2022 +0200
1.2 +++ b/libsystypes/idl/dataspace.idl Tue Sep 13 00:52:06 2022 +0200
1.3 @@ -1,5 +1,5 @@
1.4 #include <l4/re/protocols.h> /* L4RE_PROTO_DATASPACE */
1.5 -#include <systypes/base.h> /* address_t, offset_t */
1.6 +#include <systypes/base.h> /* map_address_t, offset_t */
1.7
1.8 /* A dataspace interface. */
1.9
1.10 @@ -8,12 +8,12 @@
1.11 {
1.12 /* Map memory within a dataspace. */
1.13
1.14 - [opcode(0)] void map(in offset_t offset, in address_t hot_spot,
1.15 + [opcode(0)] void map(in offset_t offset, in map_address_t hot_spot,
1.16 in map_flags_t flags, out fpage region);
1.17
1.18 /* Clear a dataspace. */
1.19
1.20 - [opcode(1)] void clear(in address_t offset, in offset_t size);
1.21 + [opcode(1)] void clear(in offset_t offset, in offset_t size);
1.22
1.23 /* Obtain statistics about a dataspace. */
1.24
1.25 @@ -21,24 +21,10 @@
1.26
1.27 /* Copy data between dataspaces. */
1.28
1.29 - [opcode(3)] void copy_in(in address_t dest_offset, in cap source,
1.30 - in address_t source_offset, in offset_t size);
1.31 -
1.32 - /* Deprecated: take a reference to a dataspace. */
1.33 -
1.34 - [opcode(4)] void take();
1.35 -
1.36 - /* Deprecated: release a reference to a dataspace. */
1.37 -
1.38 - [opcode(5)] void release();
1.39 -
1.40 - /* Obtain the physical address of the given offset in a dataspace, along with
1.41 - the largest physically contiguous region at or after the address in the
1.42 - dataspace. */
1.43 -
1.44 - [opcode(6)] void phys(in address_t offset, out address_t address, out l4_size_t size);
1.45 + [opcode(3)] void copy_in(in offset_t dest_offset, in cap source,
1.46 + in offset_t source_offset, in offset_t size);
1.47
1.48 /* Allocate at least the given size at the given address in a dataspace. */
1.49
1.50 - [opcode(7)] void allocate(in address_t offset, in l4_size_t size);
1.51 + [opcode(6)] void allocate(in offset_t offset, in l4_size_t size);
1.52 };