Landfall

pkg/devices/idl/event.idl

289:3c7cc99ed90f
153:929b5f0a63e4
6 months ago Paul Boddie raw annotate files changeset graph Widened various address and size values to avoid overflow/truncation issues. Fixed high-capacity card support by changing the initialisation procedure. cpm-library-improvements 
     1 #include <l4/re/protocols.h>     2      3 /* An event interface.     4    See: pkg/l4re-core/l4re/include/event */     5      6 [protocol(L4RE_PROTO_EVENT)]     7 interface Event     8 {     9   [opcode(0)] void get_buffer(out cap mem);    10 };