L4Re/departure

Changeset

542:c28f4b1c2dc2
2023-03-23 Paul Boddie raw files shortlog changelog graph Made the notify operation one-way, meaning that it does not produce a reply.
libsystypes/idl/notifier.idl (file)
     1.1 --- a/libsystypes/idl/notifier.idl	Wed Mar 22 23:14:12 2023 +0100
     1.2 +++ b/libsystypes/idl/notifier.idl	Thu Mar 23 15:42:39 2023 +0100
     1.3 @@ -4,5 +4,5 @@
     1.4  {
     1.5    /* Send notification events. */
     1.6  
     1.7 -  [opcode(25)] void notify(in notify_flags_t flags, in notify_values_t values);
     1.8 +  [opcode(25), oneway] void notify(in notify_flags_t flags, in notify_values_t values);
     1.9  };