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@181 | 1 | #include <systypes/base.h> /* notify_flags_t */ |
paul@181 | 2 | |
paul@181 | 3 | interface Notification |
paul@181 | 4 | { |
paul@290 | 5 | /* Subscribe to events, providing the given notifier to receive notifications |
paul@290 | 6 | according to the given flags. */ |
paul@290 | 7 | |
paul@290 | 8 | [opcode(23)] void subscribe(in cap notifier, in notify_flags_t flags); |
paul@181 | 9 | |
paul@290 | 10 | /* Unsubscribe from events. */ |
paul@290 | 11 | |
paul@488 | 12 | [opcode(24)] void unsubscribe(in cap notifier); |
paul@181 | 13 | }; |