2022-06-30 | Paul Boddie | file changeset files shortlog | Added a page describing program loading techniques. | mmap-region-flags |
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 | }; |