Re: [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@xxxxxxxxxx/
> Cc: Andrey Konovalov <andreyknvl@xxxxxxxxxx>
> Signed-off-by: Kuan-Ying Lee <Kuan-Ying.Lee@xxxxxxxxxxxx>

Reviewed-by: Florian Fainelli <florian.fainelli@xxxxxxxxxxxx>
--
Florian