L4Re - L4 Runtime Environment
vbus_mcspi.h
1 /*
2  * (c) 2009 Torsten Frenzel <frenzel@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/sys/types.h>
13 #include <l4/vbus/vbus_types.h>
14 
15 __BEGIN_DECLS
16 
17 int L4_CV
18 l4vbus_mcspi_read(l4_cap_idx_t vbus, l4vbus_device_handle_t handle,
19  unsigned channel, l4_umword_t *value);
20 
21 int L4_CV
22 l4vbus_mcspi_write(l4_cap_idx_t vbus, l4vbus_device_handle_t handle,
23  unsigned channel, l4_umword_t value);
24 
Common L4 ABI Data Types.
unsigned long l4_cap_idx_t
L4 Capability selector Type.
Definition: types.h:342
#define __END_DECLS
End section with C types and functions.
Definition: compiler.h:193
L4 compiler related defines.
unsigned long l4_umword_t
Unsigned machine word.
Definition: l4int.h:52
#define L4_CV
Define calling convention.
Definition: linkage.h:44
This header file contains descriptions of vbus related data types and constants.