1.1 --- a/pkg/devices/input/include/input-event-server.h Sun Jun 18 00:19:36 2023 +0200
1.2 +++ b/pkg/devices/input/include/input-event-server.h Mon Jun 19 16:54:57 2023 +0200
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * Common input event server 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 @@ -54,7 +54,7 @@
1.13
1.14 virtual long get_buffer(l4re_ds_t *mem);
1.15
1.16 - virtual long bind(unsigned int irqnum, l4_cap_idx_t irq);
1.17 + virtual long bind(int irqnum, l4_cap_idx_t irq);
1.18
1.19 /* Event sending methods. */
1.20