irqchip/gic-v3-its: Add VPE domain infrastructure
authorMarc Zyngier <marc.zyngier@arm.com>
Tue, 20 Dec 2016 13:41:55 +0000 (13:41 +0000)
committerMarc Zyngier <marc.zyngier@arm.com>
Thu, 31 Aug 2017 14:31:35 +0000 (15:31 +0100)
commit8fff27aec182ed4d6fe15d1373fc6b35cdfcda0f
tree8f31e8e3492a6debe5b9110ba7628c11dc190d44
parent015ec0386ab69a5b6b21f6c1559b242f4540de9f
irqchip/gic-v3-its: Add VPE domain infrastructure

Add the basic GICv4 VPE (vcpu in GICv4 parlance) infrastructure
(irqchip, irq domain) that is going to be populated in the following
patches.

Reviewed-by: Eric Auger <eric.auger@redhat.com>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
drivers/irqchip/irq-gic-v3-its.c