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 
43  L4IO_DEVICE_ANY = ~0
44 };
45 
55  L4IO_RESOURCE_ANY = ~0
56 };
57 
58 
59 typedef l4vbus_device_handle_t l4io_device_handle_t;
60 typedef int l4io_resource_handle_t;
61 
70 
l4io_iomem_flags_t
Flags for IO memory.
Definition: types.h:17
l4vbus_resource_t l4io_resource_t
Resource descriptor.
Definition: types.h:69
l4io_resource_types_t
Resource types.
Definition: types.h:50
l4vbus_device_t l4io_device_t
Device descriptor.
Definition: types.h:74
l4io_device_types_t
Device types.
Definition: types.h:38
@ L4IO_MEM_CACHED
Cache memory.
Definition: types.h:19
@ L4IO_MEM_NONCACHED
Non-cache memory.
Definition: types.h:18
@ L4IO_MEM_USE_MTRR
Use MTRR.
Definition: types.h:20
@ L4IO_MEM_USE_RESERVED_AREA
Use reserved area for mapping I/O memory.
Definition: types.h:29
@ L4IO_MEM_EAGER_MAP
Eagerly map the I/O memory.
Definition: types.h:31
@ L4IO_RESOURCE_ANY
any type
Definition: types.h:55
@ L4IO_RESOURCE_INVALID
Invalid type.
Definition: types.h:51
@ L4IO_RESOURCE_PORT
I/O port resource (x86 only)
Definition: types.h:54
@ L4IO_RESOURCE_IRQ
Interrupt resource.
Definition: types.h:52
@ L4IO_RESOURCE_MEM
I/O memory resource.
Definition: types.h:53
@ L4IO_DEVICE_PCI
PCI device.
Definition: types.h:40
@ L4IO_DEVICE_OTHER
Any other device without unique IDs.
Definition: types.h:42
@ L4IO_DEVICE_ANY
any type
Definition: types.h:43
@ L4IO_DEVICE_INVALID
Invalid type.
Definition: types.h:39
@ L4IO_DEVICE_USB
USB device.
Definition: types.h:41
Detailed information about a vbus device.
Definition: vbus_types.h:69
Description of a single vbus resource.
Definition: vbus_types.h:23
This header file contains descriptions of vbus related data types and constants.
@ L4VBUS_RESOURCE_IRQ
Interrupt resource.
Definition: vbus_types.h:41
@ L4VBUS_RESOURCE_PORT
I/O port resource (x86 only)
Definition: vbus_types.h:43
@ L4VBUS_RESOURCE_MEM
I/O memory resource.
Definition: vbus_types.h:42
@ L4VBUS_RESOURCE_INVALID
Invalid type.
Definition: vbus_types.h:40