Landfall

Annotated pkg/devices/cpm/include/cpm-server.h

0:89a1bc19c1fc
2018-05-13 Paul Boddie Added device libraries and programs, configuration files and examples. Also added an installation script and copyright and licensing information.
paul@0 1
/*
paul@0 2
 * Common CPM server functionality.
paul@0 3
 *
paul@0 4
 * (c) 2018 Paul Boddie <paul@boddie.org.uk>
paul@0 5
 *
paul@0 6
 * This program is free software; you can redistribute it and/or
paul@0 7
 * modify it under the terms of the GNU General Public License as
paul@0 8
 * published by the Free Software Foundation; either version 2 of
paul@0 9
 * the License, or (at your option) any later version.
paul@0 10
 *
paul@0 11
 * This program is distributed in the hope that it will be useful,
paul@0 12
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
paul@0 13
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
paul@0 14
 * GNU General Public License for more details.
paul@0 15
 *
paul@0 16
 * You should have received a copy of the GNU General Public License
paul@0 17
 * along with this program; if not, write to the Free Software
paul@0 18
 * Foundation, Inc., 51 Franklin Street, Fifth Floor,
paul@0 19
 * Boston, MA  02110-1301, USA
paul@0 20
 */
paul@0 21
paul@0 22
#pragma once
paul@0 23
paul@0 24
#include <l4/devices/cpm.h>
paul@0 25
paul@0 26
#ifdef __cplusplus
paul@0 27
paul@0 28
#include <l4/cxx/ipc_server>
paul@0 29
#include <l4/re/dataspace>
paul@0 30
#include <l4/re/env>
paul@0 31
paul@0 32
/* Server object to provide CPM access. */
paul@0 33
paul@0 34
class Cpm_server : public L4::Server_object_t<L4::Kobject>
paul@0 35
{
paul@0 36
private:
paul@0 37
  Cpm_chip *_chip;
paul@0 38
paul@0 39
public:
paul@0 40
  /* Initialise the server with a peripheral reference. */
paul@0 41
paul@0 42
  explicit Cpm_server(Cpm_chip *chip)
paul@0 43
  : _chip(chip)
paul@0 44
  {}
paul@0 45
paul@0 46
  int dispatch(l4_umword_t obj, L4::Ipc::Iostream &ios);
paul@0 47
};
paul@0 48
paul@0 49
#endif