/Documentation/virtual/kvm/arm/
../
psci.txt
vgic-mapped-irqs.txt