L4Re - L4 Runtime Environment
types.h
1 /*
2  * (c) 2008-2010 Adam Lackorzynski <adam@os.inf.tu-dresden.de>
3  * economic rights: Technische Universit├Ąt Dresden (Germany)
4  * This file is part of TUD:OS and distributed under the terms of the
5  * GNU Lesser General Public License 2.1.
6  * Please see the COPYING-LGPL-2.1 file for details.
7  */
8 #pragma once
9 
10 #include <l4/vbus/vbus_types.h>
11 
17 {
21  L4IO_MEM_ATTR_MASK = 0xf,
22 
23  // combinations
24  L4IO_MEM_WRITE_COMBINED = L4IO_MEM_USE_MTRR | L4IO_MEM_CACHED,
25 
26 
31  L4IO_MEM_EAGER_MAP = 0x80 << 8,
32 };
33 
44 };
45 
56 };
57 
58 
59 typedef l4vbus_device_handle_t l4io_device_handle_t;
60 typedef int l4io_resource_handle_t;
61 
70 
Use reserved area for mapping I/O memory.
Definition: types.h:29
l4vbus_device_t l4io_device_t
Device descriptor.
Definition: types.h:74
l4vbus_resource_t l4io_resource_t
Resource descriptor.
Definition: types.h:69
I/O memory resource.
Definition: types.h:53
l4io_iomem_flags_t
Flags for IO memory.
Definition: types.h:16
I/O port resource (x86 only)
Definition: types.h:54
Any other device without unique IDs.
Definition: types.h:42
PCI device.
Definition: types.h:40
Interrupt resource.
Definition: vbus_types.h:41
Interrupt resource.
Definition: types.h:52
Description of a single vbus resource.
Definition: vbus_types.h:23
I/O memory resource.
Definition: vbus_types.h:42
any type
Definition: types.h:43
Non-cache memory.
Definition: types.h:18
Detailed information about a vbus device.
Definition: vbus_types.h:56
Invalid type.
Definition: types.h:51
This header file contains descriptions of vbus related data types and constants.
Use MTRR.
Definition: types.h:20
Cache memory.
Definition: types.h:19
Invalid type.
Definition: types.h:39
l4io_device_types_t
Device types.
Definition: types.h:38
any type
Definition: types.h:55
l4io_resource_types_t
Resource types.
Definition: types.h:50
I/O port resource (x86 only)
Definition: vbus_types.h:43
Eagerly map the I/O memory.
Definition: types.h:31
Invalid type.
Definition: vbus_types.h:40
USB device.
Definition: types.h:41