Changes in kernel/generic/include/synch/rcu.h [ee34275:63e27ef] in mainline

File:

• kernel/generic/include/synch/rcu.h (modified) (4 diffs)

kernel/generic/include/synch/rcu.h

@@ -36 +36 @@
 #define KERN_RCU_H_
 
+#include <assert.h>
 #include <synch/rcu_types.h>
 #include <compiler/barrier.h>
@@ -162 +163 @@
 static inline void _rcu_record_qs(void)
 {
-        ASSERT(PREEMPTION_DISABLED || interrupts_disabled());
+        assert(PREEMPTION_DISABLED || interrupts_disabled());
         
         /* 
@@ -207 +208 @@
 static inline void rcu_read_lock(void)
 {
-        ASSERT(CPU);
+        assert(CPU);
         preemption_disable();
 
@@ -222 +223 @@
 static inline void rcu_read_unlock(void)
 {
-        ASSERT(CPU);
+        assert(CPU);
         preemption_disable();