tree 49131bc55ec0dcef8f70ddffeb3e036f6440700d
parent b38b45c3f7e4b90a8e8286bcb68fc5ca0f5ee7b9
author Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1582687428 +1100
committer Kent McLeod <Kent.Mcleod@data61.csiro.au> 1585265369 +1100

libsel4vmmplatsupport: Updated vpci irq map

Updated the generation of the vpci irq map to take into account
the address cells value defined in the fdt interrupt controller
node. This is an intermediate solution to resolving the number
cells to insert into the parent interrupt specifier. Ideally we
want to extract the '#address-cells' value out of the fdt irq
controller node (or default to 1 if not defined).