void synchronize_kernel(void);

void call_rcu(struct rcu_head *head, 
              void (*func)(void *arg), 
              void *arg);

struct rcu_head {
        struct list_head list;
        void (*func)(void *obj);
        void *arg;
};

void rcu_read_lock(void);

void rcu_read_unlock(void);

