kernel/debug.h

   1 #ifndef DEBUG_H
   2 #define DEBUG_H
   3
   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.
   8  */
   9
  10 #include <ansi.h>
  11 #include <minix/debug.h>
  12 #include "config.h"
  13
  14 /* Enable prints such as
  15  *  . send/receive failed due to deadlock or dead source or dead destination
  16  *  . trap not allowed
  17  *  . bogus message pointer
  18  *  . kernel call number not allowed by this process
  19  *
  20  * Of course the call still fails, but nothing is printed if these warnings
  21  * are disabled.
  22  */
  23 #define DEBUG_ENABLE_IPC_WARNINGS       1
  24 #define DEBUG_STACKTRACE                1
  25 #define DEBUG_TIME_LOCKS                1
  26
  27 /* Sanity checks. */
  28 #define DEBUG_SANITYCHECKS              0
  29
  30 /* Verbose messages. */
  31 #define DEBUG_TRACE                     0
  32
  33 #if DEBUG_TRACE
  34
  35 #define VF_SCHEDULING           (1L << 1)
  36 #define VF_PICKPROC             (1L << 2)
  37
  38 #define TRACE(code, statement) if(verboseflags & code) { printf("%s:%d: ", __FILE__, __LINE__); statement }
  39
  40 #else
  41 #define TRACE(code, statement)
  42 #endif
  43
  44 #define NOT_REACHABLE   do {                                            \
  45         panic("NOT_REACHABLE at %s:%d", __FILE__, __LINE__);    \
  46         for(;;);                                                        \
  47 } while(0)
  48
  49 #define NOT_IMPLEMENTED do {    \
  50                 panic("NOT_IMPLEMENTED at %s:%d", __FILE__, __LINE__); \
  51 } while(0)
  52
  53 #ifdef CONFIG_BOOT_VERBOSE
  54 #define BOOT_VERBOSE(x) x
  55 #else
  56 #define BOOT_VERBOSE(x)
  57 #endif
  58
  59 #ifdef _SYSTEM
  60 #define DEBUG_PRINT(params, level) do { \
  61         if (verboseboot >= (level)) printf params; } while (0)
  62 #define DEBUGBASIC(params) DEBUG_PRINT(params, VERBOSEBOOT_BASIC)
  63 #define DEBUGMAX(params)   DEBUG_PRINT(params, VERBOSEBOOT_MAX)
  64 #endif
  65
  66 #endif /* DEBUG_H */