summaryrefslogtreecommitdiff
path: root/drivers/irqchip/irq-gic-v4.c
AgeCommit message (Expand)Author
2017-09-19irqchip/gic-v4: Fix building with ancient gccArnd Bergmann
2017-08-31irqchip/gic-v4: Enable low-level GICv4 operationsMarc Zyngier
2017-08-31irqchip/gic-v4: Add some basic documentationMarc Zyngier
2017-08-31irqchip/gic-v4: Add VLPI configuration interfaceMarc Zyngier
2017-08-31irqchip/gic-v4: Add VPE command interfaceMarc Zyngier
2017-08-31irqchip/gic-v4: Add per-VM VPE domain creationMarc Zyngier