1.1 --- a/pkg/devices/cpm/include/cpm-server.h Fri Jan 01 00:49:07 2021 +0100
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,49 +0,0 @@
1.4 -/*
1.5 - * Common CPM server functionality.
1.6 - *
1.7 - * Copyright (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 -#include <l4/devices/cpm.h>
1.28 -
1.29 -#ifdef __cplusplus
1.30 -
1.31 -#include <l4/cxx/ipc_server>
1.32 -#include <l4/re/dataspace>
1.33 -#include <l4/re/env>
1.34 -
1.35 -/* Server object to provide CPM access. */
1.36 -
1.37 -class Cpm_server : public L4::Server_object_t<L4::Kobject>
1.38 -{
1.39 -private:
1.40 - Cpm_chip *_chip;
1.41 -
1.42 -public:
1.43 - /* Initialise the server with a peripheral reference. */
1.44 -
1.45 - explicit Cpm_server(Cpm_chip *chip)
1.46 - : _chip(chip)
1.47 - {}
1.48 -
1.49 - int dispatch(l4_umword_t obj, L4::Ipc::Iostream &ios);
1.50 -};
1.51 -
1.52 -#endif