tree: badbec1ab210d23d16de44e701d14042c8d66fa6
  1. hyp-abi.txt
  2. vgic-mapped-irqs.txt