Changeset 09ab0a9a in mainline for kernel/generic/include/synch

Timestamp:

2018-09-13T12:05:53Z (7 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.

Location:

kernel/generic/include/synch

Files:

• condvar.h (modified) (1 diff)
• rcu.h (modified) (4 diffs)
• rcu_types.h (modified) (4 diffs)
• workqueue.h (modified) (2 diffs)

kernel/generic/include/synch/condvar.h

@@ -69 +69 @@
     irq_spinlock_t *irq_lock, uint32_t usec, int flags);
 
-
 #endif
 

kernel/generic/include/synch/rcu.h

@@ -40 +40 @@
 #include <barrier.h>
 
-
 /** Use to assign a pointer to newly initialized data to a rcu reader
  * accessible pointer.
@@ -92 +91 @@
 #define rcu_access(ptr) ACCESS_ONCE(ptr)
 
-
-
-
 #include <debug.h>
 #include <preemption.h>
 #include <cpu.h>
 #include <proc/thread.h>
-
 
 extern bool rcu_read_locked(void);
@@ -122 +117 @@
 extern void _rcu_synchronize(bool expedite);
 
-
 #ifdef RCU_PREEMPT_A
 
@@ -158 +152 @@
 extern rcu_gp_t _rcu_cur_gp;
 extern void _rcu_signal_read_unlock(void);
-
 
 /** Unconditionally records a quiescent state for the local cpu. */

kernel/generic/include/synch/rcu_types.h

@@ -43 +43 @@
 #endif
 
-
 /* Fwd decl. */
 struct thread;
@@ -58 +57 @@
         struct rcu_item *next;
 } rcu_item_t;
-
 
 /** RCU related per-cpu data. */
@@ -140 +138 @@
 } rcu_cpu_data_t;
 
-
 /** RCU related per-thread data. */
 typedef struct rcu_thread_data {
@@ -165 +162 @@
 } rcu_thread_data_t;
 
-
 #endif
 

kernel/generic/include/synch/workqueue.h

@@ -56 +56 @@
 } work_t;
 
-
-
 extern void workq_global_init(void);
 extern void workq_global_worker_init(void);
@@ -74 +72 @@
 extern void workq_global_print_info(void);
 
-
 extern void workq_after_thread_ran(void);
 extern void workq_before_thread_is_ready(struct thread *);