/tmp/l4check/full_tree/trunk/l4/pkg/generic_io/include/types.h File Reference

L4Env I/O Client API Types. More...

#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.

One dword encoding driver source and type.

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.


Detailed Description

L4Env I/O Client API Types.

Date:
05/28/2003
Author:
Christian Helmuth <ch12@os.inf.tu-dresden.de>

Define Documentation

#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 Documentation

typedef struct l4io_info l4io_info_t

io info page type


Enumeration Type Documentation

anonymous enum

Infopage descriptors


generic_io Reference Manual, written by Christian Helmuth  © 2003 Technische Universitaet Dresden