Index: kernel/generic/include/synch/rcu.h
===================================================================
--- kernel/generic/include/synch/rcu.h	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/generic/include/synch/rcu.h	(revision 202872234fa56c357a39df0a3cd16a73688b3ff4)
@@ -113,5 +113,5 @@
 extern void rcu_cpu_init(void);
 extern void rcu_kinit_init(void);
-extern void rcu_thread_init(struct thread*);
+extern void rcu_thread_init(struct thread *);
 extern void rcu_thread_exiting(void);
 extern void rcu_after_thread_ran(void);