Changes in kernel/generic/src/udebug/udebug.c [0d21b53:a074b4f] in mainline

File:

• kernel/generic/src/udebug/udebug.c (modified) (1 diff)

kernel/generic/src/udebug/udebug.c

@@ -460 +460 @@
 }
 
-/** Wait for debugger to handle a fault in this thread.
- *
- * When a thread faults and someone is subscribed to the FAULT kernel event,
- * this function is called to wait for a debugging session to give userspace
- * a chance to examine the faulting thead/task. When the debugging session
- * is over, this function returns (so that thread/task cleanup can continue).
- */
-void udebug_thread_fault(void)
-{
-        udebug_stoppable_begin();
-
-        /* Wait until a debugger attends to us. */
-        mutex_lock(&THREAD->udebug.lock);
-        while (!THREAD->udebug.active)
-                condvar_wait(&THREAD->udebug.active_cv, &THREAD->udebug.lock);
-        mutex_unlock(&THREAD->udebug.lock);
-
-        /* Make sure the debugging session is over before proceeding. */
-        mutex_lock(&THREAD->udebug.lock);
-        while (THREAD->udebug.active)
-                condvar_wait(&THREAD->udebug.active_cv, &THREAD->udebug.lock);
-        mutex_unlock(&THREAD->udebug.lock);
-
-        udebug_stoppable_end();
-}
 
 /** @}