linux/Documentation/virtual/kvm/devices/arm-vgic.txt