L4Re Operating System Framework – Interface and Usage Documentation
Loading...
Searching...
No Matches
mmio_space
Go to the documentation of this file.
1// -*- Mode: C++ -*-
2// vim:ft=cpp
3/*
4 * Copyright (C) 2017-2018, 2022 Kernkonzept GmbH.
5 * Author(s): Sarah Hoffmann <sarah.hoffmann@kernkonzept.com>
6 *
7 * This file is distributed under the terms of the GNU General Public
8 * License, version 2. Please see the COPYING-GPL-2 file for details.
9 */
14#pragma once
15
16#include <l4/re/protocols.h>
17#include <l4/sys/capability>
18#include <l4/sys/cxx/ipc_types>
19#include <l4/sys/cxx/ipc_iface>
20
21namespace L4Re
22{
23
47: public L4::Kobject_t<Mmio_space, L4::Kobject, L4RE_PROTO_MMIO_SPACE>
48{
51 {
52 Wd_8bit = 0,
53 Wd_16bit = 1,
54 Wd_32bit = 2,
55 Wd_64bit = 3
56 };
57
60
75 L4_INLINE_RPC(long, mmio_read, (Addr addr, char width, l4_uint64_t *value));
76
91 L4_INLINE_RPC(long, mmio_write, (Addr addr, char width, l4_uint64_t value));
92
94};
95
96}
L4::Cap related definitions.
Helper class to create an L4Re interface class that is derived from a single base class.
Definition __typeinfo.h:760
unsigned long long l4_uint64_t
Unsigned 64bit value.
Definition l4int.h:42
#define L4_EXPORT
Attribute to mark functions, variables, and data types as being exported from a library.
Definition compiler.h:221
Interface Definition Language.
#define L4_INLINE_RPC(res, name, args, attr...)
Define an inline RPC call (type and callable).
Definition ipc_iface:469
L4Re C++ Interfaces.
Definition cmd_control:15
L4Re Protocol Constants (C version)
Interface for memory-like address space accessible via IPC.
Definition mmio_space:48
l4_uint64_t Addr
Device address.
Definition mmio_space:59
Access_width
Actual size of the value to read or write.
Definition mmio_space:51
Standard list of RPCs of an interface.
Definition __typeinfo.h:438