2022-03-14 | Paul Boddie | raw annotate files changeset graph | Simplified the unsubscribing mechanism, employing the inherent association between pagers/resources and notifiers to identify the notifier to be released when an unsubscribe operation is issued via a pager or resource. |
1 #include <systypes/base.h> /* notify_flags_t */ 2 3 interface Notification 4 { 5 /* Subscribe to events, providing the given notifier to receive notifications 6 according to the given flags. */ 7 8 [opcode(23)] void subscribe(in cap notifier, in notify_flags_t flags); 9 10 /* Unsubscribe from events. */ 11 12 [opcode(24)] void unsubscribe(); 13 };