rcu_torture_stats_print 833 kernel/rcutorture.c rcu_torture_stats_print(); rcu_torture_stats_print 998 kernel/rcutorture.c rcu_torture_stats_print(); /* -After- the stats thread is stopped! */