/tmp/l4check/full_tree/trunk/l4/pkg/l4io/server/include/__config.h File Reference

L4Env l4io I/O Server Configuration. More...

Go to the source code of this file.

Defines
#define	IO_REQUEST_PAGE   1
	request 4K MMIO pages from pager
#define	IO_SEND_PAGE   1
	send 4K MMIO pages on requests
Configuration
0 . .. switch feature off 1 ... on
#define	IORES_TOO_MUCH_POLICY   0
	skip client-check on release
#define	IOJIFFIES_HZ   100
	jiffies update frequency
#define	IOJIFFIES_PERIOD   1000000/IOJIFFIES_HZ
	jiffies period in us
#define	IO_MAX_THREADS   32
	maximum number of threads in l4io
DEBUG_ Macros
0 . .. no output 1 ... debugging output for this group
#define	DEBUG_ERRORS   1
#define	DEBUG_PCI   0
#define	DEBUG_PCI_RW   0
#define	DEBUG_RES   0
#define	DEBUG_REGDRV   0
#define	DEBUG_MAP   0

---

Detailed Description

L4Env l4io I/O Server Configuration.

Date:

2007-03-23

Author:

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

Definition in file __config.h.