Re: [PATCH v2 06/25] arm64: arch_timer: implement support for interrupt-names

[Tony Lindgren]

* Hector Martin <marcan@xxxxxxxxx> [210215 12:18]:
> This allows the devicetree to correctly represent the available set of
> timers, which varies from device to device, without the need for fake
> dummy interrupts for unavailable slots.

I like the idea of using interrupt-names property for mapping timers :)

Similar approach might help other SoCs too. And clocksources never really
had similar issues.

With Marc's comments addressed, please feel free to add:

Reviewed-by: Tony Lindgren <tony@xxxxxxxxxxx>