1 #include <systypes/base.h> /* sys_uid_t, sys_gid_t, sys_mode_t */ 2 #include <systypes/factory.h> 3 4 /* Filesystem 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 FilesystemFactory 9 { 10 /* Obtain filesystem access for the given user details. */ 11 12 [opcode(6),opcode_type(l4_umword_t)] 13 void open_for_user(in ipc_varg_sys_uid_t uid, 14 in ipc_varg_sys_gid_t gid, 15 in ipc_varg_sys_mode_t umask, 16 out cap opener); 17 };