2.4.3.6.1. Linux Read Copy Update Interface
void rcu_read_lock ();
void rcu_read_unlock ();

typeof(ptr) rcu_assign_pointer (ptr, val);
typeof(ptr) rcu_dereference (ptr);

void synchronize_rcu ();