Linux kernel bug fix: ACPI: GTDT: Correctly number platform devices for MMIO timers
Subsystem: acpi (drivers/acpi/arm64/gtdt.c)
Bug type: unknown, severity: unknown
Files changed: drivers/acpi/arm64/gtdt.c
Introduced by Marc Zyngier on 2025-09-23 12:30:25 +0200; fixed by Marc Zyngier on 2025-11-24 13:17:45 +0000 (lifetime: 62 days)