paul@181 | 1 | #include <ipc/factory.h> |
paul@181 | 2 | #include <l4/re/protocols.h> /* L4RE_PROTO_DATASPACE */ |
paul@181 | 3 | |
paul@181 | 4 | /* Dataspace operations exposed via the factory interface. This appears to |
paul@181 | 5 | involve extra tag values which are incorporated into the provided values.*/ |
paul@181 | 6 | |
paul@181 | 7 | [protocol(L4_PROTO_FACTORY)] |
paul@181 | 8 | interface DataspaceFactory |
paul@181 | 9 | { |
paul@181 | 10 | /* Create a new dataspace. */ |
paul@181 | 11 | |
paul@181 | 12 | [opcode(L4RE_PROTO_DATASPACE)] |
paul@181 | 13 | void alloc(in ipc_varg_long_t size, in ipc_varg_unsigned_long_t flags, |
paul@181 | 14 | in ipc_varg_unsigned_long_t align, out cap ds); |
paul@181 | 15 | }; |