[PATCH 00/13] Refactor Arm GICv3 support

[Sebastian Huber]

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

-- 
2.34.1