/tmp/l4check/full_tree/trunk/l4/pkg/generic_io/idl/generic_io.idl File Reference

Common L4 Environment I/O Server Interface. More...

Go to the source code of this file.

Namespaces
namespace	l4
Classes
struct	l4_io_res
struct	l4_io_pci_dev
interface	l4::io
Defines
#define	MAX_PCIDEV_RES   12
Typedefs
typedef struct l4_io_res	l4_io_res_t
typedef unsigned short	l4_io_pdev_t
typedef struct l4_io_pci_dev	l4_io_pci_dev_t
Variables
import< l4/sys/types.h > typedef unsigned long	l4_io_drv_t
const unsigned	l4_io_max_fpages = 32

---

Detailed Description

Common L4 Environment I/O Server Interface.

Date:

20007-03-23

Author:

Christian Helmuth <ch12@os.inf.tu-dresden.de>

---

Define Documentation

#define MAX_PCIDEV_RES   12

max number of resource regions

---

Typedef Documentation

typedef struct l4_io_pci_dev l4_io_pci_dev_t

PCI device struct

typedef unsigned short l4_io_pdev_t

PCI device handle type

typedef struct l4_io_res l4_io_res_t

resource type (for PCI devices)

---

Variable Documentation

import<l4/sys/types.h> typedef unsigned long l4_io_drv_t

driver type