15 months ago | Paul Boddie | raw annotate files changeset graph | Changed IPC message handling to interpret gate labels as generic endpoint addresses, with endpoint structures representing components and notification IRQs. | ipc-config-endpoints |
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(in cap notifier); 13 };