2022-03-13 | Paul Boddie | file changeset files shortlog | Support unsubscribing from notifications using a special notifier peer object. |
paul@181 | 1 | #include <systypes/base.h> /* notify_flags_t */ |
paul@181 | 2 | |
paul@181 | 3 | interface Notification |
paul@181 | 4 | { |
paul@288 | 5 | /* Subscribe to events. Unsubscribing is done via the peer returned by the |
paul@288 | 6 | operation. */ |
paul@181 | 7 | |
paul@288 | 8 | [opcode(23)] void subscribe(in cap notifier, in notify_flags_t flags, |
paul@288 | 9 | out cap peer); |
paul@181 | 10 | }; |