Changes in kernel/generic/src/udebug/udebug_ops.c [44a7ee5:cde999a] in mainline

File:

• kernel/generic/src/udebug/udebug_ops.c (modified) (15 diffs)

kernel/generic/src/udebug/udebug_ops.c

@@ -46 +46 @@
 #include <errno.h>
 #include <print.h>
+#include <stdbool.h>
 #include <str.h>
 #include <syscall/copy.h>
@@ -157 +158 @@
  *
  * Initiates a debugging session for the current task (and its threads).
- * When the debugging session has started a reply will be sent to the
+ * When the debugging session has started a reply should be sent to the
  * UDEBUG_BEGIN call. This may happen immediately in this function if
  * all the threads in this task are stoppable at the moment and in this
- * case the function returns 1.
- *
- * Otherwise the function returns 0 and the reply will be sent as soon as
- * all the threads become stoppable (i.e. they can be considered stopped).
+ * case the function sets @a *active to @c true.
+ *
+ * Otherwise the function sets @a *active to false and the resonse should
+ * be sent as soon as all the threads become stoppable (i.e. they can be
+ * considered stopped).
  *
  * @param call The BEGIN call we are servicing.
- *
- * @return 0 (OK, but not done yet), 1 (done) or negative error code.
- *
- */
-int udebug_begin(call_t *call)
+ * @param active Place to store @c true iff we went directly to active state,
+ *               @c false if we only went to beginning state
+ *
+ * @return EOK on success, EBUSY if the task is already has an active
+ *         debugging session.
+ */
+int udebug_begin(call_t *call, bool *active)
 {
         LOG("Debugging task %" PRIu64, TASK->taskid);
@@ -185 +189 @@
         TASK->udebug.debugger = call->sender;
         
-        int reply;
-        
         if (TASK->udebug.not_stoppable_count == 0) {
                 TASK->udebug.dt_state = UDEBUG_TS_ACTIVE;
                 TASK->udebug.begin_call = NULL;
-                reply = 1;  /* immediate reply */
+                *active = true;  /* directly to active state */
         } else
-                reply = 0;  /* no reply */
+                *active = false;  /* only in beginning state */
         
         /* Set udebug.active on all of the task's userspace threads. */
@@ -207 +209 @@
         
         mutex_unlock(&TASK->udebug.lock);
-        return reply;
+        return EOK;
 }
 
@@ -214 +216 @@
  * Closes the debugging session for the current task.
  *
- * @return Zero on success or negative error code.
+ * @return Zero on success or an error code.
  *
  */
@@ -234 +236 @@
  * @param mask Or combination of events that should be enabled.
  *
- * @return Zero on success or negative error code.
+ * @return Zero on success or an error code.
  *
  */
@@ -251 +253 @@
         mutex_unlock(&TASK->udebug.lock);
         
-        return 0;
+        return EOK;
 }
 
@@ -283 +285 @@
         _thread_op_end(thread);
         
-        return 0;
+        return EOK;
 }
 
@@ -314 +316 @@
                 /* Answer will be sent when the thread becomes stoppable. */
                 _thread_op_end(thread);
-                return 0;
+                return EOK;
         }
         
@@ -337 +339 @@
         mutex_unlock(&TASK->udebug.lock);
         
-        return 0;
+        return EOK;
 }
 
@@ -412 +414 @@
         *needed = (copied_ids + extra_ids) * sizeof(sysarg_t);
         
-        return 0;
+        return EOK;
 }
 
@@ -435 +437 @@
         memcpy(*data, TASK->name, name_size);
         
-        return 0;
+        return EOK;
 }
 
@@ -478 +480 @@
         
         *buffer = arg_buffer;
-        return 0;
+        return EOK;
 }
 
@@ -520 +522 @@
         
         *buffer = (void *) state_buf;
-        return 0;
+        return EOK;
 }
 
@@ -558 +560 @@
         
         *buffer = data_buffer;
-        return 0;
+        return EOK;
 }