Changeset 1b20da0 in mainline for kernel/generic/src/synch/waitq.c

Timestamp:

2018-02-28T17:52:03Z (7 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

3061bc1

Parents:

df6ded8

git-author:

Jiří Zárevúcky <zarevucky.jiri@…> (2018-02-28 17:26:03)

git-committer:

Jiří Zárevúcky <zarevucky.jiri@…> (2018-02-28 17:52:03)

Message:

style: Remove trailing whitespace on non-empty lines, in certain file types.

Command used: tools/srepl '\([^[:space:]]\)\s\+$' '\1' -- *.c *.h *.py *.sh *.s *.S *.ag

File:

• kernel/generic/src/synch/waitq.c (modified) (4 diffs)

kernel/generic/src/synch/waitq.c

@@ -341 +341 @@
                  * Wait for a waitq_wakeup() or waitq_unsleep() to complete
                  * before returning from waitq_sleep() to the caller. Otherwise
-                 * the caller might expect that the wait queue is no longer used 
-                 * and deallocate it (although the wakeup on a another cpu has 
+                 * the caller might expect that the wait queue is no longer used
+                 * and deallocate it (although the wakeup on a another cpu has
                  * not yet completed and is using the wait queue).
                  *
@@ -474 +474 @@
 
 /** If there is a wakeup in progress actively waits for it to complete.
- * 
+ *
  * The function returns once the concurrently running waitq_wakeup()
- * exits. It returns immediately if there are no concurrent wakeups 
+ * exits. It returns immediately if there are no concurrent wakeups
  * at the time.
- * 
+ *
  * Interrupts must be disabled.
- * 
+ *
  * Example usage:
  * @code
@@ -488 +488 @@
  *     waitq_wakeup(wq);
  * }
- * void wait_for_completion(void) 
+ * void wait_for_completion(void)
  * {
  *     waitq wg;
@@ -496 +496 @@
  *     // Wait for callback() to complete its work.
  *     waitq_sleep(&wq);
- *     // callback() completed its work, but it may still be accessing 
- *     // wq in waitq_wakeup(). Therefore it is not yet safe to return 
- *     // from waitq_sleep() or it would clobber up our stack (where wq 
+ *     // callback() completed its work, but it may still be accessing
+ *     // wq in waitq_wakeup(). Therefore it is not yet safe to return
+ *     // from waitq_sleep() or it would clobber up our stack (where wq
  *     // is stored). waitq_sleep() ensures the wait queue is no longer
  *     // in use by invoking waitq_complete_wakeup() internally.
- *     
+ *
  *     // waitq_sleep() returned, it is safe to free wq.
  * }
  * @endcode
- * 
+ *
  * @param wq  Pointer to a wait queue.
  */