Use device tree and driver class (UCLASS_IRQ and UCLASS_SYSCON) to get
gic details like GICD, GICR base address, max number of redistributors
and git lpi address.
Rayagonda Kokatanur (2):
arch: arm: use dt and UCLASS_IRQ to get gic details
arch: arm: use dt and UCLASS_SYSCON to get gic lpi details
arch/arm/Kconfig | 2 +
arch/arm/include/asm/gic-v3.h | 4 +-
arch/arm/lib/gic-v3-its.c | 135 ++++++++++++++++++++++++++++++----
3 files changed, 125 insertions(+), 16 deletions(-)