Go to the source code of this file.
DEBUG_ Macros | |
0 ... no output 1 ... debugging output for this group | |
#define | DEBUG_ERRORS 1 /**< verbose error handling */ |
verbose error handling | |
#define | DEBUG_MSG 1 /**< show debug messages */ |
show debug messages | |
#define | DEBUG_MALLOC 0 /**< debug memory allocations */ |
debug memory allocations | |
#define | DEBUG_MALLOC_EACH 0 /**< debug msg for each alloc/free */ |
debug msg for each alloc/free | |
#define | DEBUG_PALLOC 0 /**< debug page allocations */ |
debug page allocations | |
#define | DEBUG_ADDRESS 0 /**< debug address conversion */ |
debug address conversion | |
#define | DEBUG_PCI 0 /**< debug PCI support */ |
debug PCI support | |
#define | DEBUG_IRQ 0 /**< debug IRQ handling */ |
debug IRQ handling | |
#define | DEBUG_RES 0 /**< debug resource handling */ |
debug resource handling | |
#define | DEBUG_RES_TRACE |
debug function calls in memory/io resource management | |
#define | DEBUG_TIMER 0 /**< debug timers */ |
debug timers | |
#define | DEBUG_SOFTIRQ 0 /**< debug softirqs */ |
debug softirqs | |
#define | DEBUG_PROCESS 0 /**< debug process-level */ |
debug process-level | |
#define | DEBUG_SOUND 0 /**< debug sound */ |
debug sound | |
#define | DEBUG_SOUND_REG 0 /**< debug sound device registration */ |
debug sound device registration | |
#define | DEBUG_SOUND_WRITE 0 /**< debug sound write */ |
debug sound write | |
#define | DEBUG_SOUND_READ 0 /**< debug sound read */ |
debug sound read | |
#define | DEBUG_SLAB 1 /**< debug slab functions */ |
debug slab functions | |
Configuration Macros | |
#define | MM_KREGIONS 1 /**< max number of kmem regions */ |
max number of kmem regions | |
#define | SCHED_YIELD_OPT |
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) */ |
timeout for scheduling sleep (in us) | |
#define | SOFTIRQ_THREADS |
number of desired softirq threads ONLY one supported for now! | |
#define | PCI_DEVICES 16 /**< number of supported PCI devices */ |
number of supported PCI devices |
Definition in file __config.h.