+++ /dev/null
-/*
- * Written by Josh Dybnis and released to the public domain, as explained at
- * http://creativecommons.org/licenses/publicdomain
- */
-#ifndef RCU_H
-#define RCU_H
-void rcu_thread_init (int thread_id);
-void rcu_update (void);
-void nbd_defer_free (void *x);
-#endif//RCU_H