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