exit_tasks_rcu_finish
static inline void exit_tasks_rcu_finish(void) { }
void exit_tasks_rcu_finish(void)
void exit_tasks_rcu_finish(void) { }