2005-06-01 11:37:52 +02:00
|
|
|
#ifndef DEBUG_H
|
|
|
|
#define DEBUG_H
|
|
|
|
|
2005-07-14 17:12:12 +02:00
|
|
|
/* This header file defines all debugging constants and macros, and declares
|
|
|
|
* some variables. Certain debugging features redefine standard constants
|
|
|
|
* and macros. Therefore, this header file should be included after the
|
|
|
|
* other kernel headers.
|
|
|
|
*/
|
2005-06-01 11:37:52 +02:00
|
|
|
|
2006-05-11 16:49:46 +02:00
|
|
|
#include <ansi.h>
|
2005-07-14 17:12:12 +02:00
|
|
|
#include "config.h"
|
|
|
|
|
2005-10-18 18:13:12 +02:00
|
|
|
/* Enable prints such as
|
|
|
|
* . send/receive failed due to deadlock or dead source or dead destination
|
|
|
|
* . trap not allowed
|
|
|
|
* . bogus message pointer
|
|
|
|
* . kernel call number not allowed by this process
|
|
|
|
*
|
|
|
|
* Of course the call still fails, but nothing is printed if these warnings
|
|
|
|
* are disabled.
|
|
|
|
*/
|
2009-04-17 15:46:37 +02:00
|
|
|
#define DEBUG_ENABLE_IPC_WARNINGS 1
|
2006-06-29 15:35:27 +02:00
|
|
|
#define DEBUG_STACKTRACE 1
|
2008-11-19 13:26:10 +01:00
|
|
|
#define DEBUG_TIME_LOCKS 1
|
2005-10-18 18:13:12 +02:00
|
|
|
|
2009-05-12 13:35:01 +02:00
|
|
|
/* Runtime sanity checking. */
|
2009-05-15 19:07:36 +02:00
|
|
|
#define DEBUG_VMASSERT 1
|
2009-05-12 13:35:01 +02:00
|
|
|
#define DEBUG_SCHED_CHECK 0
|
|
|
|
|
2005-07-14 17:12:12 +02:00
|
|
|
#endif /* DEBUG_H */
|