From d7f1832a155931af85b1ce15903bf078beb60d5a Mon Sep 17 00:00:00 2001
From: Jan Stoess <stoess@ira.uka.de>
Date: Fri, 7 Dec 2007 19:30:23 +0100
Subject: [PATCH] - Added get_kdebug_tcb() and kdebug_check_interrupt

---
 kernel/src/generic/debug.h | 22 ++++++++++++----------
 1 file changed, 12 insertions(+), 10 deletions(-)

diff --git a/kernel/src/generic/debug.h b/kernel/src/generic/debug.h
index 1458c94e..e298064f 100644
--- a/kernel/src/generic/debug.h
+++ b/kernel/src/generic/debug.h
@@ -67,6 +67,7 @@
 
 void init_console (void);
 extern "C" int printf (const char * format, ...);
+tcb_t *get_kdebug_tcb();
 
 # define UNIMPLEMENTED()				\
 do {							\
@@ -113,7 +114,6 @@ do {								\
 /* From kdb/generic/entry.cc */
 void kdebug_entry (void *);
 
-
 #else /* !CONFIG_DEBUG */
 
 /*
@@ -121,15 +121,15 @@ void kdebug_entry (void *);
  */
 
 # define init_console(...)
-# define printf(fmt, args...)	do { } while (false)
-# define enter_kdebug(x)	do { } while (true)
-# define UNIMPLEMENTED()	do { } while (true)
-# define ASSERT(x)		do { } while (false)
-# define WARNING(fmt, args...)	do { } while (false)
-# define TRACE(x...)		do { } while (false)
-# define TRACEF(x...)		do { } while (false)
-# define spin_forever(x...)	do { } while (true)
-# define spin(x...)		do { } while (false)
+# define printf(fmt, args...)		do { } while (false)
+# define enter_kdebug(x)		do { } while (true)
+# define UNIMPLEMENTED()		do { } while (true)
+# define ASSERT(x)			do { } while (false)
+# define WARNING(fmt, args...)		do { } while (false)
+# define TRACE(x...)			do { } while (false)
+# define TRACEF(x...)			do { } while (false)
+# define spin_forever(x...)		do { } while (true)
+# define spin(x...)			do { } while (false)
 
 #endif /* CONFIG_DEBUG */
 
@@ -163,5 +163,7 @@ void kdebug_check_breakin();
 #  define kdebug_check_breakin()
 # endif /* CONFIG_DEBUG_BREAKIN */
 
+bool kdebug_check_interrupt();
+
 
 #endif /* !__DEBUG_H__ */