Re: [RFT PATCH v3 07/27] arm64: arch_timer: implement support for interrupt-names

[Marc Zyngier]

On Thu, 04 Mar 2021 21:38:42 +0000,
Hector Martin <marcan@xxxxxxxxx> wrote:
> 
> 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.
> 
> Also add the hyp-virt timer/PPI, which is not currently used, but worth
> representing.
> 
> Signed-off-by: Hector Martin <marcan@xxxxxxxxx>
> Reviewed-by: Tony Lindgren <tony@xxxxxxxxxxx>

Reviewed-by: Marc Zyngier <maz@xxxxxxxxxx>

Thanks,

	M.

-- 
Without deviation from the norm, progress is not possible.