Index: kernel/generic/src/udebug/udebug.c
===================================================================
--- kernel/generic/src/udebug/udebug.c	(revision 40a0e50451980c686fa3c99657d4ee56de0ff066)
+++ kernel/generic/src/udebug/udebug.c	(revision 687246b2606134c8fd20702358cad29743377b4f)
@@ -99,25 +99,4 @@
 }
 
-/** Do a preliminary check that a debugging session is in progress.
- * 
- * This only requires the THREAD->udebug.lock mutex (and not TASK->udebug.lock
- * mutex). For an undebugged task, this will never block (while there could be
- * collisions by different threads on the TASK mutex), thus improving SMP
- * perormance for undebugged tasks.
- *
- * @return	True if the thread was in a debugging session when the function
- *		checked, false otherwise.
- */
-static bool udebug_thread_precheck(void)
-{
-	bool res;
-
-	mutex_lock(&THREAD->udebug.lock);
-	res = THREAD->udebug.active;
-	mutex_unlock(&THREAD->udebug.lock);
-
-	return res;
-}
-
 /** Start of stoppable section.
  *
@@ -245,9 +224,4 @@
 
 	etype = end_variant ? UDEBUG_EVENT_SYSCALL_E : UDEBUG_EVENT_SYSCALL_B;
-
-	/* Early check for undebugged tasks */
-	if (!udebug_thread_precheck()) {
-		return;
-	}
 
 	mutex_lock(&TASK->udebug.lock);