void rcu_read_lock ();
void rcu_read_unlock ();

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

void synchronize_rcu ();