5 months ago | Paul Boddie | file changeset files shortlog | Merged changes from the default branch. | libc_newlib |
paul@181 | 1 | #include <systypes/user.h> /* user_t */ |
paul@181 | 2 | |
paul@181 | 3 | /* An interface providing filesystem operations. */ |
paul@181 | 4 | |
paul@181 | 5 | interface Filesystem |
paul@181 | 6 | { |
paul@181 | 7 | /* Obtain filesystem access for the given user details. */ |
paul@181 | 8 | |
paul@181 | 9 | [opcode(6)] void open_for_user(in user_t user, out cap opener); |
paul@181 | 10 | }; |