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