L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
vbus_generic
1
// vi:set ft=cpp: -*- Mode: C++ -*-
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:801
l4_uint32_t
unsigned int l4_uint32_t
Unsigned 32bit value.
Definition
l4int.h:40
ipc_stream
IPC stream.
vbus_types.h
This header file contains descriptions of vbus related data types and constants.
l4vbus_device_handle_t
l4_mword_t l4vbus_device_handle_t
Device handle for a device on the vbus.
Definition
vbus_types.h:20
l4
vbus
vbus_generic
Generated on Sat Aug 24 2024 16:07:22 for L4Re Operating System Framework by
1.9.8