1 #include <systypes/base.h> /* sys_uid_t, sys_gid_t, sys_mode_t */ 2 3 /* Filesystem operations exposed via the factory interface. This appears to 4 involve extra tag values which are incorporated into the provided values. */ 5 6 [protocol(L4_PROTO_FACTORY)] 7 interface FilesystemFactory 8 { 9 /* Obtain filesystem access for the given user details. */ 10 11 [opcode(6),opcode_type(l4_umword_t)] 12 void open_for_user(in ipc_varg_sys_uid_t uid, 13 in ipc_varg_sys_gid_t gid, 14 in ipc_varg_sys_mode_t umask, 15 out cap opener); 16 };