#include <l4/sys/types.h>
#include <l4/sys/compiler.h>
Go to the source code of this file.
Classes | |
struct | l4io_drv |
IO driver types.
One dword encoding driver source and type. More... | |
struct | l4io_res |
PCI resources (regions). More... | |
struct | l4io_pci_dev |
PCI device information (struct). More... | |
struct | l4io_desc_resource_t |
struct | l4io_desc_device_t |
struct | l4io_info |
I/O Info Page Structure.
This is the L4Env's I/O server info page. We have 4KB and fill it 0...L4_PAGESIZE-1. More... | |
Defines | |
#define | L4IO_DRV_INVALID ((l4io_drv_t){0,0,0,0}) |
#define | L4IO_PCIDEV_RES 12 |
#define | L4IO_INFO_MAGIC 0x496f6f49 |
Typedefs | |
typedef struct l4io_drv | l4io_drv_t |
IO driver types. | |
typedef struct l4io_res | l4io_res_t |
PCI resources (regions). | |
typedef unsigned short | l4io_pdev_t |
PCI device handle. | |
typedef struct l4io_pci_dev | l4io_pci_dev_t |
PCI device information (struct). | |
typedef struct l4io_info | l4io_info_t |
Enumerations | |
enum | { L4IO_RESOURCE_MEM, L4IO_RESOURCE_PORT, L4IO_RESOURCE_IRQ, L4IO_DEVICE_NAME_LEN = 32 } |
enum | l4io_mem_flags { L4IO_MEM_NONCACHED = 0, L4IO_MEM_CACHED = 1, L4IO_MEM_USE_MTRR = 2, L4IO_MEM_WRITE_COMBINED = L4IO_MEM_USE_MTRR | L4IO_MEM_CACHED } |
Variables | |
struct l4io_info | L4_PAGESIZE |
I/O Info Page Structure.
This is the L4Env's I/O server info page. We have 4KB and fill it 0...L4_PAGESIZE-1. |
#define L4IO_DRV_INVALID ((l4io_drv_t){0,0,0,0}) |
invalid type
#define L4IO_INFO_MAGIC 0x496f6f49 |
io magic is "IooI"
#define L4IO_PCIDEV_RES 12 |
number of PCI resource regions
typedef struct l4io_info l4io_info_t |
io info page type
anonymous enum |
Infopage descriptors