21 L4IO_MEM_ATTR_MASK = 0xf,
59 typedef l4vbus_device_handle_t l4io_device_handle_t;
60 typedef int l4io_resource_handle_t;
Use reserved area for mapping I/O memory.
l4vbus_device_t l4io_device_t
Device descriptor.
l4vbus_resource_t l4io_resource_t
Resource descriptor.
l4io_iomem_flags_t
Flags for IO memory.
I/O port resource (x86 only)
Any other device without unique IDs.
Description of a single vbus resource.
Detailed information about a vbus device.
This header file contains descriptions of vbus related data types and constants.
l4io_device_types_t
Device types.
l4io_resource_types_t
Resource types.
I/O port resource (x86 only)
Eagerly map the I/O memory.