summaryrefslogtreecommitdiff
path: root/drivers/irqchip/irq-gic-v4.c
AgeCommit message (Expand)AuthorFilesLines
2017-08-31irqchip/gic-v4: Enable low-level GICv4 operationsMarc Zyngier1-0/+13
2017-08-31irqchip/gic-v4: Add some basic documentationMarc Zyngier1-0/+71
2017-08-31irqchip/gic-v4: Add VLPI configuration interfaceMarc Zyngier1-0/+42
2017-08-31irqchip/gic-v4: Add VPE command interfaceMarc Zyngier1-0/+25
2017-08-31irqchip/gic-v4: Add per-VM VPE domain creationMarc Zyngier1-0/+74