Re: [PATCH] ACPI: GTDT: Correctly number platform devices for MMIO timers

[Marc Zyngier <maz@kernel.org>]

On 2025-10-30 11:01, Marc Zyngier wrote:
> Use the actual timer counter instead of the watchdog counter.
> 
> Fixes: 5669d92f3efa4 ("ACPI: GTDT: Generate platform devices for MMIO 
> timers")
> Reported-by: Pavan Kondeti <pavan.kondeti@oss.qualcomm.com>
> Signed-off-by: Marc Zyngier <maz@kernel.org>
> Cc: Hanjun Guo <guohanjun@huawei.com>
> Cc: Sudeep Holla <sudeep.holla@arm.com>
> Cc: "Rafael J. Wysocki" <rafael@kernel.org>
> Cc: Daniel Lezcano <daniel.lezcano@linaro.org>
> Cc: Thomas Gleixner <tglx@linutronix.de>
> Cc: Mark Rutland <mark.rutland@arm.com>
> ---
>  drivers/acpi/arm64/gtdt.c | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
> 
> diff --git a/drivers/acpi/arm64/gtdt.c b/drivers/acpi/arm64/gtdt.c
> index fd995a1d3d248..8cc8af8fd408c 100644
> --- a/drivers/acpi/arm64/gtdt.c
> +++ b/drivers/acpi/arm64/gtdt.c
> @@ -430,10 +430,10 @@ static int __init gtdt_platform_timer_init(void)
>  				continue;
> 
>  			pdev = platform_device_register_data(NULL, "gtdt-arm-mmio-timer",
> -							     gwdt_count, &atm,
> +							     mmio_timer_count, &atm,
>  							     sizeof(atm));
>  			if (IS_ERR(pdev)) {
> -				pr_err("Can't register timer %d\n", gwdt_count);
> +				pr_err("Can't register timer %d\n", mmio_timer_count);
>  				continue;
>  			}

Any chance for this to be picked before 6.18 is fully baked?

Thanks,

         M.
-- 
Jazz is not dead. It just smells funny...