[PATCH v2 2/3] scripts/gdb/stackdepot: Rename pool_index to pools_num

[Florian Fainelli]

On 11/28/23 22:51, Kuan-Ying Lee wrote:
> After stackdepot evicting support patchset[1], we rename
> pool_index to pools_num.
> 
> To avoid from the below issue, we rename consistently in
> gdb scripts.
> 
> Python Exception <class 'gdb.error'>: No symbol "pool_index" in current
> context.
> Error occurred in Python: No symbol "pool_index" in current context.
> 
> [1] https://lore.kernel.org/linux-mm/cover.1700502145.git.andreyknvl@google.com/
> Cc: Andrey Konovalov <andreyknvl at google.com>
> Signed-off-by: Kuan-Ying Lee <Kuan-Ying.Lee at mediatek.com>

Reviewed-by: Florian Fainelli <florian.fainelli at broadcom.com>
-- 
Florian