rcu_end_inkernel_boot
static inline void rcu_end_inkernel_boot(void) { }
void rcu_end_inkernel_boot(void)