| 16 months ago | Paul Boddie | file changeset files shortlog | Converted the remaining code to use libipc and generated IPC components. | idl4re-libipc-libsystypes |
| paul@153 | 1 | #include <l4/re/protocols.h> |
| paul@152 | 2 | |
| paul@153 | 3 | /* An event interface. |
| paul@153 | 4 | See: pkg/l4re-core/l4re/include/event */ |
| paul@152 | 5 | |
| paul@152 | 6 | [protocol(L4RE_PROTO_EVENT)] |
| paul@152 | 7 | interface Event |
| paul@152 | 8 | { |
| paul@153 | 9 | [opcode(0)] void get_buffer(out cap mem); |
| paul@152 | 10 | }; |