On Tue, 19 Sept 2023 at 10:02, Leif Lindholm <quic_llindhol@quicinc.com> wrote:
>
> This set reworks the handling of private peripheral interrupts in virt
> to use INTIDs instead of PPI IDs, to make it easier to cross reference
> against Arm's Base System Architecture specification.
>
> It then breaks those definitions out into a separate header and switches
> sbsa-ref to use the same header instead of defining its own values
> locally.
I've applied these patches, with a few tweaks to patch 2:
* the macro PPI_TO_INTID is unused, so I dropped it
* I sorted the defines into numerical order
* I added ARCH_TIMER_NS_EL2_VIRT_IRQ, which fixes up a
minor conflict with the recent sbsa-ref change which added
use of that IRQ
Applied to target-arm.next, thanks.
-- PMM