1.1 --- a/idl/notification.idl Thu May 20 00:01:15 2021 +0200
1.2 +++ b/idl/notification.idl Fri Jul 09 01:23:05 2021 +0200
1.3 @@ -4,7 +4,7 @@
1.4 {
1.5 /* Subscribe to events. */
1.6
1.7 - [opcode(23)] void subscribe(in notify_flags_t flags, out cap irq);
1.8 + [opcode(23)] void subscribe(in cap notifier, in notify_flags_t flags);
1.9
1.10 /* Unsubscribe from events. */
1.11
2.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
2.2 +++ b/idl/notifier.idl Fri Jul 09 01:23:05 2021 +0200
2.3 @@ -0,0 +1,8 @@
2.4 +#include <systypes/base.h> /* notify_flags_t */
2.5 +
2.6 +interface Notifier
2.7 +{
2.8 + /* Send notification events. */
2.9 +
2.10 + [opcode(25)] void notify(in notify_flags_t flags);
2.11 +};