[PATCH 00/13] Refactor Arm GICv3 support

[Kinsey Moore]

These changes look good other than the nit in the first patch.

On 3/18/2022 02:19, Sebastian Huber wrote:
> Separate the Interrupt Manager implementation from the generic Arm GICv3
> support.  Move parts of the Arm GICv3 support into a new header file.  This
> helps to support systems with a clustered structure in which multiple GICv3
> instances are present.  For example, two clusters of two Cortex-R52 cores where
> each cluster has a dededicated GICv3 instance.
>
> Sebastian Huber (13):
>    bsps: Add <dev/irq/arm-gicv3.h>
>    bsps: Add gicv3_sgi_ppi_is_pending()
>    bsps: Add gicv3_trigger_sgi()
>    bsps: Add gicv3_ppi_set_pending()
>    bsps: Add gicv3_ppi_clear_pending()
>    bsps: Add gicv3_sgi_ppi_is_enabled()
>    bsps: Add gicv3_sgi_ppi_enable()
>    bsps: Add gicv3_sgi_ppi_disable()
>    bsps: Move gicv3_init_dist()
>    bsps: Move gicv3_init_cpu_interface()
>    bsps: Add gicv3_sgi_ppi_set_priority()
>    bsps: Add gicv3_sgi_ppi_get_priority()
>    bsps: Add gicv3_get_attributes()
>
>   bsps/include/dev/irq/arm-gicv3.h | 366 +++++++++++++++++++++++++++++++
>   bsps/shared/dev/irq/arm-gicv3.c  | 286 ++----------------------
>   spec/build/bsps/aarch64/grp.yml  |   1 +
>   spec/build/bsps/arm/grp.yml      |   1 +
>   4 files changed, 389 insertions(+), 265 deletions(-)
>   create mode 100644 bsps/include/dev/irq/arm-gicv3.h
>