4 /* This header file defines all debugging constants and macros, and declares
5 * some variables. Certain debugging features redefine standard constants
6 * and macros. Therefore, this header file should be included after the
7 * other kernel headers.
13 /* Enable prints such as
14 * . send/receive failed due to deadlock or dead source or dead destination
16 * . bogus message pointer
17 * . kernel call number not allowed by this process
19 * Of course the call still fails, but nothing is printed if these warnings
22 #define DEBUG_ENABLE_IPC_WARNINGS 0
23 #define DEBUG_STACKTRACE 1
24 #define DEBUG_VMASSERT 1
25 #define DEBUG_SCHED_CHECK 1
26 #define DEBUG_TIME_LOCKS 1