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.
