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 }