1.1 --- a/pkg/devices/input/include/input-event-loop.h Mon Jun 19 16:54:57 2023 +0200
1.2 +++ b/pkg/devices/input/include/input-event-loop.h Mon Jun 19 16:55:47 2023 +0200
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * Input event loop functionality.
1.6 *
1.7 - * Copyright (C) 2018 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2018, 2023 Paul Boddie <paul@boddie.org.uk>
1.9 *
1.10 * This program is free software; you can redistribute it and/or
1.11 * modify it under the terms of the GNU General Public License as
1.12 @@ -26,8 +26,6 @@
1.13 #include <l4/devices/event-loop.h>
1.14
1.15 #include <l4/re/event>
1.16 -#include <l4/sys/capability>
1.17 -#include <l4/sys/icu>
1.18
1.19 /* Input event loop abstraction. */
1.20
1.21 @@ -39,26 +37,19 @@
1.22
1.23 /* Notification interrupt capability. */
1.24
1.25 - L4::Cap<L4::Irq> _irq;
1.26 + l4_cap_idx_t _irq;
1.27
1.28 public:
1.29 /* Initialise the event loop with an event buffer, a notification interrupt,
1.30 and a thread priority. */
1.31
1.32 explicit Input_event_loop(L4Re::Event_buffer event_buffer,
1.33 - L4::Cap<L4::Irq> irq,
1.34 + l4_cap_idx_t irq,
1.35 int priority=0x20)
1.36 : Event_handler_loop(priority), _event_buffer(event_buffer), _irq(irq)
1.37 {
1.38 }
1.39
1.40 - explicit Input_event_loop(L4Re::Event_buffer event_buffer,
1.41 - l4_cap_idx_t irq,
1.42 - int priority=0x20)
1.43 - : Event_handler_loop(priority), _event_buffer(event_buffer), _irq(L4::Cap<L4::Irq>(irq))
1.44 - {
1.45 - }
1.46 -
1.47 /* Event handler method, dispatching to the provided handler. */
1.48
1.49 virtual void handle();