1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/libsystypes/idl/dataspace_factory.idl Wed Aug 25 01:28:08 2021 +0200
1.3 @@ -0,0 +1,15 @@
1.4 +#include <ipc/factory.h>
1.5 +#include <l4/re/protocols.h> /* L4RE_PROTO_DATASPACE */
1.6 +
1.7 +/* Dataspace operations exposed via the factory interface. This appears to
1.8 + involve extra tag values which are incorporated into the provided values.*/
1.9 +
1.10 +[protocol(L4_PROTO_FACTORY)]
1.11 +interface DataspaceFactory
1.12 +{
1.13 + /* Create a new dataspace. */
1.14 +
1.15 + [opcode(L4RE_PROTO_DATASPACE)]
1.16 + void alloc(in ipc_varg_long_t size, in ipc_varg_unsigned_long_t flags,
1.17 + in ipc_varg_unsigned_long_t align, out cap ds);
1.18 +};