- Added get_kdebug_tcb() and kdebug_check_interrupt

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 */
 
 /*
@@ -163,5 +163,7 @@ void kdebug_check_breakin();
 #  define kdebug_check_breakin()
 # endif /* CONFIG_DEBUG_BREAKIN */
 
+bool kdebug_check_interrupt();
+
 
 #endif /* !__DEBUG_H__ */