L4Re - L4 Runtime Environment
vbus_pm.h
1 /*
2  * (c) 2013 Alexander Warg <warg@os.inf.tu-dresden.de>
3  * economic rights: Technische Universit├Ąt Dresden (Germany)
4  *
5  * This file is part of TUD:OS and distributed under the terms of the
6  * GNU General Public License 2.
7  * Please see the COPYING-GPL-2 file for details.
8  */
9 #pragma once
10 
11 #include <l4/sys/compiler.h>
12 #include <l4/vbus/vbus_types.h>
13 #include <l4/sys/types.h>
14 
15 __BEGIN_DECLS
16 
17 int L4_CV
18 l4vbus_pm_suspend(l4_cap_idx_t vbus, l4vbus_device_handle_t handle);
19 
20 int L4_CV
21 l4vbus_pm_resume(l4_cap_idx_t vbus, l4vbus_device_handle_t handle);
22 
Common L4 ABI Data Types.
unsigned long l4_cap_idx_t
L4 Capability selector Type.
Definition: types.h:341
#define __END_DECLS
End section with C types and functions.
Definition: compiler.h:193
L4 compiler related defines.
#define L4_CV
Define calling convention.
Definition: linkage.h:44
This header file contains descriptions of vbus related data types and constants.