Index: kernel/generic/include/udebug/udebug.h
===================================================================
--- kernel/generic/include/udebug/udebug.h	(revision 384c4886e4ae3a6c323a34e23d7f8a36553a0910)
+++ kernel/generic/include/udebug/udebug.h	(revision ef687799ed9f09e5fdb3f693b156212fd2c49048)
@@ -170,11 +170,4 @@
  */
 typedef struct {
-	/** 
-	 * Prevent deadlock with udebug_before_thread_runs() in interrupt
-	 * handler, without actually disabling interrupts.
-	 * ==0 means "unlocked", >0 means "locked"
-	 */
-	atomic_t int_lock;
-
 	/** Synchronize debug ops on this thread / access to this structure. */
 	mutex_t lock;