1.1 --- a/pkg/devices/input/include/input-event-server.h Wed May 23 23:57:09 2018 +0200
1.2 +++ b/pkg/devices/input/include/input-event-server.h Thu May 24 23:49:57 2018 +0200
1.3 @@ -23,6 +23,8 @@
1.4
1.5 #ifdef __cplusplus
1.6
1.7 +#include "input-event-client.h"
1.8 +
1.9 #include <l4/cxx/ipc_server>
1.10 #include <l4/re/dataspace>
1.11 #include <l4/re/env>
1.12 @@ -32,7 +34,7 @@
1.13
1.14 /* Server object to provide input event source access. */
1.15
1.16 -class Input_event_server : public L4::Server_object_t<L4::Kobject>
1.17 +class Input_event_server : public L4::Server_object_t<Input_event_interface>
1.18 {
1.19 private:
1.20 L4::Cap<L4Re::Dataspace> _mem;
1.21 @@ -43,9 +45,9 @@
1.22 /* Initialise the server with a capability referencing the exported memory
1.23 and an event buffer through which events will be communicated. */
1.24
1.25 - explicit Input_event_server(L4::Cap<L4Re::Dataspace> mem, L4::Cap<L4::Irq> irq,
1.26 + explicit Input_event_server(L4::Cap<L4Re::Dataspace> mem,
1.27 L4Re::Event_buffer events)
1.28 - : _mem(mem), _irq(irq), _events(events)
1.29 + : _mem(mem), _events(events)
1.30 {
1.31 }
1.32