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.
|
|
|
|
*/
|
|
|
|
#define DEBUG_ENABLE_IPC_WARNINGS 0
|
2006-06-29 15:35:27 +02:00
|
|
|
#define DEBUG_STACKTRACE 1
|
2005-10-18 18:13:12 +02:00
|
|
|
|
2006-02-06 16:16:14 +01:00
|
|
|
/* It's interesting to measure the time spent withing locked regions, because
|
|
|
|
* this is the time that the system is deaf to interrupts.
|
|
|
|
*/
|
|
|
|
#if DEBUG_TIME_LOCKS
|
|
|
|
|
|
|
|
#define TIMING_POINTS 20 /* timing resolution */
|
|
|
|
#define TIMING_CATEGORIES 20
|
|
|
|
#define TIMING_NAME 10
|
|
|
|
|
2005-07-14 17:12:12 +02:00
|
|
|
/* Definition of the data structure to store lock() timing data. */
|
|
|
|
struct lock_timingdata {
|
|
|
|
char names[TIMING_NAME];
|
|
|
|
unsigned long lock_timings[TIMING_POINTS];
|
|
|
|
unsigned long lock_timings_range[2];
|
|
|
|
unsigned long binsize, resets, misses, measurements;
|
|
|
|
};
|
|
|
|
|
|
|
|
/* The data is declared here, but allocated in debug.c. */
|
|
|
|
extern struct lock_timingdata timingdata[TIMING_CATEGORIES];
|
|
|
|
|
|
|
|
/* Prototypes for the timing functionality. */
|
2005-06-01 11:37:52 +02:00
|
|
|
_PROTOTYPE( void timer_start, (int cat, char *name) );
|
|
|
|
_PROTOTYPE( void timer_end, (int cat) );
|
|
|
|
|
2005-07-14 17:12:12 +02:00
|
|
|
#define locktimestart(c, v) timer_start(c, v)
|
|
|
|
#define locktimeend(c) timer_end(c)
|
|
|
|
#else
|
|
|
|
#define locktimestart(c, v)
|
|
|
|
#define locktimeend(c)
|
|
|
|
#endif /* DEBUG_TIME_LOCKS */
|
|
|
|
|
|
|
|
#endif /* DEBUG_H */
|