Searched refs:stack_pools (Results 1 – 2 of 2) sorted by relevance
45 stack_pools = gdb.parse_and_eval('stack_pools')48 pool = stack_pools[pool_index]
65 static void *stack_pools[DEPOT_MAX_POOLS]; variable266 stack_pools[pools_num] = new_pool; in depot_init_pool()326 current_pool = stack_pools[pool_index]; in depot_pop_free_pool()456 pool = stack_pools[pool_index]; in depot_fetch_stack()