ACPI: GTDT: Correctly number platform devices for MMIO timers

Use the actual timer counter instead of the watchdog counter.

Fixes: 5669d92f3efa ("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>
Acked-by: Hanjun Guo <guohanjun@huawei.com>
Signed-off-by: Will Deacon <will@kernel.org>

diff --git a/drivers/acpi/arm64/gtdt.c b/drivers/acpi/arm64/gtdt.c
index fd995a1d3d248b85331a35aea37086b2f67e2d37..8cc8af8fd408c7d159a52c05ed14bc8096d8f9a1 100644 (file)
--- 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;
                        }