rpi4: Add GIC maintenance interrupt to GIC DT node
authorAndre Przywara <andre.przywara@arm.com>
Sun, 21 Jul 2019 00:45:31 +0000 (01:45 +0100)
committerAndre Przywara <andre.przywara@arm.com>
Wed, 25 Sep 2019 10:45:35 +0000 (11:45 +0100)
commit3903a8cd108188dc2dcfc5b3cb820b639c5fce01
tree9a6d3e59277e9815a514794f8eb00e6535155c35
parent882c0ff6ba65800046a851735cc848b76810196a
rpi4: Add GIC maintenance interrupt to GIC DT node

For being able to use the virtualisation support the GIC offers, we need
to know the interrupt number of the maintenance interrupt. This
information is missing from the official RPi4 device tree.

Use libfdt to add the "interrupts" property to the GIC node, which
allows hypervisors like KVM or Xen to be able to use the GIC's help on
virtualising interrupts.

Change-Id: Iab84f0885a5bf29fb84ca8f385e8a39d27700c75
Signed-off-by: Andre Przywara <andre.przywara@arm.com>
plat/rpi/rpi4/rpi4_bl31_setup.c