1 #include <l4/devices/protocols.h> 2 3 /* An event interface. */ 4 5 [protocol(L4RE_PROTO_EVENT)] 6 interface Event 7 { 8 void get_buffer(out cap mem); 9 };