Changeset 09ab0a9a in mainline for uspace/lib/c/generic/thread/rcu.c

Timestamp:

2018-09-13T12:05:53Z (6 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

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

Children:

cc74cb5

Parents:

b2aaaa0

git-author:

Jiri Svoboda <jiri@…> (2018-09-13 07:09:46)

git-committer:

Jiri Svoboda <jiri@…> (2018-09-13 12:05:53)

Message:

Fix vertical spacing with new Ccheck revision.

File:

• uspace/lib/c/generic/thread/rcu.c (modified) (7 diffs)

uspace/lib/c/generic/thread/rcu.c

@@ -81 +81 @@
 #include "../private/fibril.h"
 
-
 /** RCU sleeps for RCU_SLEEP_MS before polling an active RCU reader again. */
 #define RCU_SLEEP_MS        10
@@ -90 +89 @@
 #define RCU_GROUP_A         (size_t)(0 | RCU_NESTING_INC)
 #define RCU_GROUP_B         (size_t)(1 | RCU_NESTING_INC)
-
 
 /** Fibril local RCU data. */
@@ -118 +116 @@
 } blocked_fibril_t;
 
-
 /** Fibril local RCU data. */
 static fibril_local fibril_rcu_data_t fibril_rcu = {
@@ -142 +139 @@
 };
 
-
 static void wait_for_readers(size_t reader_group);
 static void force_mb_in_all_threads(void);
@@ -154 +150 @@
 static bool is_in_reader_section(size_t nesting_cnt);
 static size_t get_other_group(size_t group);
-
 
 /** Registers a fibril so it may start using RCU read sections.
@@ -409 +404 @@
 }
 
-
 static bool is_preexisting_reader(const fibril_rcu_data_t *fib, size_t group)
 {
@@ -435 +429 @@
 }
 
-
-
 /** @}
  */