drivers/ukbus/pci: Update PCI driver to the new uk_intctlr API

Use in-place interrupt number translation until the device-tree
parsing of PCI is refactored.

Notice: Picking individual commits in this PR will break the build.

Signed-off-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Marco Schlumpp <marco@unikraft.io>
Reviewed-by: Sergiu Moga <sergiu@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
GitHub-Closes: #1103

diff --git a/drivers/ukbus/pci/arch/arm64/pci_bus.c b/drivers/ukbus/pci/arch/arm64/pci_bus.c
index 81ec527f195c8ee006ca158ffef2dc01974e3f5f..8aa2cb3fa8280864e071b76e927eaf9a35fbedbf 100644 (file)
--- a/drivers/ukbus/pci/arch/arm64/pci_bus.c
+++ b/drivers/ukbus/pci/arch/arm64/pci_bus.c
@@ -186,7 +186,9 @@ int arch_pci_probe(struct uk_alloc *pha)
                        fdtaddr[1] = fdtaddr[2] = cpu_to_fdt32(0);
 
                        gen_pci_irq_parse(fdtaddr, &out_irq);
-                       irq = gic_irq_translate(0, out_irq.args[1]);
+
+                       /* Translate IRQ number */
+                       irq = GIC_SPI_BASE + out_irq.args[1];
 
                        arch_pci_driver_add_device(drv, &addr, &devid, irq, base, pha);
                }