4 months ago | Paul Boddie | file changeset files shortlog | Introduced cache synchronisation for mapped regions. Without this, executable code may not be read properly on real hardware after a page fault, resulting in erroneous instruction execution and seemingly nonsensical instruction results. |
paul@181 | 1 | /* An interface providing a way of opening filesystem objects. */ |
paul@181 | 2 | |
paul@181 | 3 | interface Opener |
paul@181 | 4 | { |
paul@181 | 5 | /* Obtain an opener context for subsequent open operations. */ |
paul@181 | 6 | |
paul@181 | 7 | [opcode(13)] void context(out cap context); |
paul@181 | 8 | }; |