/tmp/l4check/full_tree/trunk/l4/pkg/dde_linux/lib/include/__config.h File Reference

Configuration / Debug Level. More...

Go to the source code of this file.

Defines

DEBUG_ Macros
0 .

.. no output 1 ... debugging output for this group

#define DEBUG_ERRORS   1
 verbose error handling
#define DEBUG_MSG   0
 show debug messages
#define DEBUG_MALLOC   0
 debug memory allocations
#define DEBUG_MALLOC_EACH   0
 debug msg for each alloc/free
#define DEBUG_PALLOC   0
 debug page allocations
#define DEBUG_ADDRESS   0
 debug address conversion
#define DEBUG_PCI   0
 debug PCI support
#define DEBUG_IRQ   0
 debug IRQ handling
#define DEBUG_RES   0
 debug resource handling
#define DEBUG_RES_TRACE   0
 debug function calls in memory/io resource management
#define DEBUG_TIMER   0
 debug timers
#define DEBUG_SOFTIRQ   0
 debug softirqs
#define DEBUG_PROCESS   0
 debug process-level
#define DEBUG_SOUND   0
 debug sound
#define DEBUG_SOUND_REG   0
 debug sound device registration
#define DEBUG_SOUND_WRITE   0
 debug sound write
#define DEBUG_SOUND_READ   0
 debug sound read
#define DEBUG_SLAB   0
 debug slab functions
Configuration Macros
#define MM_KREGIONS   1
 max number of kmem regions
#define SCHED_YIELD_OPT   1
 scheduling method for TASK_RUNNING user contexts 0 - l4_yield() / 1 - l4_usleep(to)
#define SCHED_YIELD_TO   10
 timeout for scheduling sleep (in us)
#define MAX_IRQ_HANDLERS   8
 maximal number of handlers for one interrupt
#define SOFTIRQ_THREADS   1
 number of desired softirq threads ONLY one supported for now!
#define PCI_DEVICES   32
 number of supported PCI devices


Detailed Description

Configuration / Debug Level.

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

Definition in file __config.h.


Linux DDE, written by Christian Helmuth  © 2003 Technische Universitaet Dresden