Serialize multiline printks
[akaros.git] / kern / include / rbtree.h
index 04b9ddc..4d50e62 100644 (file)
 
 #pragma once
 
-/* TODO: eventually we'll support some form of RCU and concurrent rb-tree
- * usage.  When we do that, we'll need to grab these functions from Linux. */
-#ifndef WRITE_ONCE
-#define WRITE_ONCE(d, s) (d) = (s)
-#endif
-#ifndef rcu_assign_pointer
-#define rcu_assign_pointer(d, s) (d) = (s)
-#endif
+#include <rcu.h>
 
 struct rb_node {
        unsigned long  __rb_parent_color;