L4Re - L4 Runtime Environment
vbus_generic
1
// vi:ft=cpp
2
/*
3
* (c) 2009 Alexander Warg <warg@os.inf.tu-dresden.de>,
4
* Torsten Frenzel <frenzel@os.inf.tu-dresden.de>
5
* economic rights: Technische Universität Dresden (Germany)
6
*
7
* This file is part of TUD:OS and distributed under the terms of the
8
* GNU General Public License 2.
9
* Please see the COPYING-GPL-2 file for details.
10
*/
11
12
#pragma once
13
14
#include <
l4/cxx/ipc_stream
>
15
#include <
l4/vbus/vbus_types.h
>
16
#include <l4/vbus/vbus>
17
18
inline
void
19
l4vbus_device_msg(l4vbus_device_handle_t handle,
l4_uint32_t
op,
20
L4::Ipc::Iostream
&s)
21
{
22
s << handle << op;
23
}
L4::Ipc::Iostream
Input/Output stream for IPC [un]marshalling.
Definition:
ipc_stream:793
vbus_types.h
This header file contains descriptions of vbus related data types and constants.
ipc_stream
IPC stream.
l4_uint32_t
unsigned int l4_uint32_t
Unsigned 32bit value.
Definition:
l4int.h:40
l4
vbus
vbus_generic
Generated on Sun Nov 25 2018 13:34:53 for L4Re - L4 Runtime Environment by
1.8.13