71 static int pools_num;  variable
298 	if (unlikely(pools_num >= stack_max_pools)) {  in depot_init_pool()
300 		WARN_ON_ONCE(pools_num > stack_max_pools); /* should never happen */  in depot_init_pool()
316 	stack_pools[pools_num] = new_pool;  in depot_init_pool()
326 	if (pools_num < stack_max_pools)  in depot_init_pool()
332 	WRITE_ONCE(pools_num, pools_num + 1);  in depot_init_pool()
333 	ASSERT_EXCLUSIVE_WRITER(pools_num);  in depot_init_pool()
375 	if (WARN_ON_ONCE(pools_num < 1))  in depot_pop_free_pool()
377 	pool_index = pools_num - 1;  in depot_pop_free_pool()
496 	const int pools_num_cached = READ_ONCE(pools_num);  in depot_fetch_stack()
859 	seq_printf(seq, "pools: %d\n", data_race(pools_num));  in stats_show()