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