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

[Will Deacon]

On Thu, 30 Oct 2025 11:01:15 +0000, Marc Zyngier wrote:
> Use the actual timer counter instead of the watchdog counter.
> 
> 

Applied to arm64 (for-next/fixes), thanks!

[1/1] ACPI: GTDT: Correctly number platform devices for MMIO timers
      https://git.kernel.org/arm64/c/7c16c02e8608

Cheers,
-- 
Will

https://fixes.arm64.dev
https://next.arm64.dev
https://will.arm64.dev