Landfall

Annotated pkg/devices/idl/event.idl

263:18edc9c73263
8 months ago Paul Boddie Exposed the card registry and added support for inspecting partition tables. cpm-library-improvements
paul@153 1
#include <l4/re/protocols.h>
paul@152 2
paul@153 3
/* An event interface.
paul@153 4
   See: pkg/l4re-core/l4re/include/event */
paul@152 5
paul@152 6
[protocol(L4RE_PROTO_EVENT)]
paul@152 7
interface Event
paul@152 8
{
paul@153 9
  [opcode(0)] void get_buffer(out cap mem);
paul@152 10
};