1.1 --- a/pkg/devices/input/include/input-event-client.h Wed May 23 23:57:09 2018 +0200
1.2 +++ b/pkg/devices/input/include/input-event-client.h Thu May 24 23:49:57 2018 +0200
1.3 @@ -25,15 +25,19 @@
1.4
1.5 #include <l4/re/dataspace>
1.6 #include <l4/re/env>
1.7 +#include <l4/re/event>
1.8 +#include <l4/sys/capability>
1.9 #include <l4/sys/icu>
1.10 +#include <l4/sys/types.h>
1.11
1.12 -class Input_event_interface : public L4::Kobject_t<Input_event_interface, L4::Kobject>
1.13 +class Input_event_interface : public L4::Kobject_t<Input_event_interface,
1.14 + L4::Kobject,
1.15 + /* PROTO_ANY */ 0,
1.16 + /* accepts one cap */ L4::Type_info::Demand_t<1> >
1.17 {
1.18 - L4_KOBJECT(Input_event_interface)
1.19 -
1.20 public:
1.21 + int bind(unsigned irqnum, L4::Cap<L4::Irq> irq) throw();
1.22 int get_buffer(L4::Cap<L4Re::Dataspace> mem) throw();
1.23 - int bind(unsigned irqnum, L4::Cap<L4::Irq> irq) throw();
1.24 };
1.25
1.26 #endif