1.1 --- a/libsystypes/idl/dataspace.idl	Fri Sep 16 15:24:38 2022 +0200
     1.2 +++ b/libsystypes/idl/dataspace.idl	Fri Sep 16 16:08:28 2022 +0200
     1.3 @@ -6,9 +6,10 @@
     1.4  [protocol(L4RE_PROTO_DATASPACE)]
     1.5  interface Dataspace
     1.6  {
     1.7 -  /* Map memory within a dataspace. */
     1.8 +  /* Map memory within a dataspace.
     1.9 +     NOTE: Using opcode_type to work around L4Re dataspace IPC issues. */
    1.10  
    1.11 -  [opcode(0)] void map(in offset_t offset, in map_address_t hot_spot,
    1.12 +  [opcode(0),opcode_type(l4_uint64_t)] void map(in offset_t offset, in map_address_t hot_spot,
    1.13                         in map_flags_t flags, out fpage region);
    1.14  
    1.15    /* Clear a dataspace. */