69 static int pools_num;  variable
297 	if (unlikely(pools_num >= stack_max_pools)) {  in depot_init_pool()
299 		WARN_ON_ONCE(pools_num > stack_max_pools); /* should never happen */  in depot_init_pool()
315 	stack_pools[pools_num] = new_pool;  in depot_init_pool()
325 	if (pools_num < stack_max_pools)  in depot_init_pool()
331 	WRITE_ONCE(pools_num, pools_num + 1);  in depot_init_pool()
332 	ASSERT_EXCLUSIVE_WRITER(pools_num);  in depot_init_pool()
372 	if (WARN_ON_ONCE(pools_num < 1))  in depot_pop_free_pool()
374 	pool_index = pools_num - 1;  in depot_pop_free_pool()
490 	const int pools_num_cached = READ_ONCE(pools_num);  in depot_fetch_stack()
851 	seq_printf(seq, "pools: %d\n", data_race(pools_num));  in stats_show()