18 months ago | Paul Boddie | file changeset files shortlog | Changed IPC message handling to interpret gate labels as generic endpoint addresses, with endpoint structures representing components and notification IRQs. | ipc-config-endpoints |
paul@202 | 1 | #include <systypes/base.h> /* object_flags_t, offset_t */ |
paul@202 | 2 | |
paul@202 | 3 | /* An interface to a filesystem directory. */ |
paul@202 | 4 | |
paul@202 | 5 | interface Directory |
paul@202 | 6 | { |
paul@202 | 7 | /* Obtain a file reference for reading directory entries. */ |
paul@202 | 8 | |
paul@202 | 9 | [opcode(26)] void opendir(out offset_t size, out cap file, |
paul@202 | 10 | out object_flags_t object_flags); |
paul@202 | 11 | }; |
paul@202 | 12 | |
paul@202 | 13 | /* vim: tabstop=2 expandtab shiftwidth=2 |
paul@202 | 14 | */ |