1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/pkg/devices/input/include/input-event-client.h Thu May 17 22:49:35 2018 +0200
1.3 @@ -0,0 +1,39 @@
1.4 +/*
1.5 + * Input event client to access input event servers.
1.6 + *
1.7 + * (c) 2018 Paul Boddie <paul@boddie.org.uk>
1.8 + *
1.9 + * This program is free software; you can redistribute it and/or
1.10 + * modify it under the terms of the GNU General Public License as
1.11 + * published by the Free Software Foundation; either version 2 of
1.12 + * the License, or (at your option) any later version.
1.13 + *
1.14 + * This program is distributed in the hope that it will be useful,
1.15 + * but WITHOUT ANY WARRANTY; without even the implied warranty of
1.16 + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
1.17 + * GNU General Public License for more details.
1.18 + *
1.19 + * You should have received a copy of the GNU General Public License
1.20 + * along with this program; if not, write to the Free Software
1.21 + * Foundation, Inc., 51 Franklin Street, Fifth Floor,
1.22 + * Boston, MA 02110-1301, USA
1.23 + */
1.24 +
1.25 +#pragma once
1.26 +
1.27 +#ifdef __cplusplus
1.28 +
1.29 +#include <l4/re/dataspace>
1.30 +#include <l4/re/env>
1.31 +#include <l4/sys/icu>
1.32 +
1.33 +class Input_event_interface : public L4::Kobject_t<Input_event_interface, L4::Kobject>
1.34 +{
1.35 + L4_KOBJECT(Input_event_interface)
1.36 +
1.37 +public:
1.38 + int get_buffer(L4::Cap<L4Re::Dataspace> mem) throw();
1.39 + int bind(unsigned irqnum, L4::Cap<L4::Irq> irq) throw();
1.40 +};
1.41 +
1.42 +#endif