1.1 --- a/pkg/devices/input/src/server/input-keypad-server.cc Mon Jun 19 16:54:57 2023 +0200
1.2 +++ b/pkg/devices/input/src/server/input-keypad-server.cc Mon Jun 19 16:55:47 2023 +0200
1.3 @@ -27,7 +27,6 @@
1.4
1.5 #include <l4/re/event>
1.6
1.7 -#include <ipc/cap_alloc.h>
1.8 #include <ipc/server.h>
1.9
1.10 #include "input_server.h"
1.11 @@ -58,13 +57,6 @@
1.12 if (l4_is_invalid_cap(mem))
1.13 return 1;
1.14
1.15 - /* Obtain a capability for the interrupt. */
1.16 -
1.17 - l4_cap_idx_t irq = ipc_cap_alloc();
1.18 -
1.19 - if (l4_is_invalid_cap(irq))
1.20 - return 1;
1.21 -
1.22 /* Event buffer for the data. */
1.23
1.24 L4Re::Event_buffer events(buffer, L4_PAGESIZE);