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