ACPI: GTDT: Correctly number platform devices for MMIO timers

Use the actual timer counter instead of the watchdog counter.

Fixes: 5669d92 ("ACPI: GTDT: Generate platform devices for MMIO timers")
Reported-by: Pavan Kondeti <[email protected]>
Signed-off-by: Marc Zyngier <[email protected]>
Cc: Hanjun Guo <[email protected]>
Cc: Sudeep Holla <[email protected]>
Cc: Rafael J. Wysocki <[email protected]>
Cc: Daniel Lezcano <[email protected]>
Cc: Thomas Gleixner <[email protected]>
Cc: Mark Rutland <[email protected]>
Acked-by: Hanjun Guo <[email protected]>
Signed-off-by: Will Deacon <[email protected]>

Author: Marc Zyngier

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;
 			}