Index: kernel/generic/include/synch/rcu.h
===================================================================
--- kernel/generic/include/synch/rcu.h	(revision 5b382774cede49c01f80b52156d1d7532b7dc182)
+++ kernel/generic/include/synch/rcu.h	(revision 64be561fde4e66c925208ae11919aa6cd8b7e899)
@@ -147,9 +147,4 @@
 
 
-#ifndef member_to_inst
-#define member_to_inst(ptr_member, type, member_identif) \
-	((type*) (((void*)(ptr_member)) - ((void*)&(((type*)0)->member_identif))))
-#endif
-
 /** Use to assign a pointer to newly initialized data to a rcu reader 
  * accessible pointer.
@@ -205,4 +200,5 @@
 extern void rcu_read_lock(void);
 extern void rcu_read_unlock(void);
+extern bool rcu_read_locked(void);
 extern void rcu_synchronize(void);
 extern void rcu_call(rcu_item_t *rcu_item, rcu_func_t func);