1 #include <systypes/base.h> /* notify_flags_t */ 2 3 interface Notification 4 { 5 /* Subscribe to events. */ 6 7 [opcode(23)] void subscribe(in cap notifier, in notify_flags_t flags); 8 };