rcu_end_inkernel_boot 85 include/linux/rcutiny.h static inline void rcu_end_inkernel_boot(void) { } rcu_end_inkernel_boot 190 kernel/rcu/update.c void rcu_end_inkernel_boot(void)