[UNIKRAFT PATCH RFCv2 24/27] plat/virtio: Change the type of irq, base from u16 to u64 for arm64

[Jia He <justin.he@xxxxxxx>]

On arm64, it only supports ECAM pci controller, hence u16 irq,base
is not enough.

Signed-off-by: Jia He <justin.he@xxxxxxx>
---
 plat/drivers/virtio/virtio_pci.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/plat/drivers/virtio/virtio_pci.c b/plat/drivers/virtio/virtio_pci.c
index c0c9032..3c62a3c 100644
--- a/plat/drivers/virtio/virtio_pci.c
+++ b/plat/drivers/virtio/virtio_pci.c
@@ -57,9 +57,9 @@ struct virtio_pci_dev {
        /* Virtio Device */
        struct virtio_dev vdev;
        /* Pci base address */
-       __u16 pci_base_addr;
+       __u64 pci_base_addr;
        /* ISR Address Range */
-       __u16 pci_isr_addr;
+       __u64 pci_isr_addr;
        /* Pci device information */
        struct pci_device *pdev;
 };
@@ -377,6 +377,8 @@ static int virtio_pci_legacy_add_dev(struct pci_device 
*pci_dev,
 
        uk_pr_info("Added virtio-pci device %04x\n",
                   pci_dev->id.device_id);
+       uk_pr_info("Added virtio-pci subsystem_device_id %04x\n",
+                  pci_dev->id.subsystem_device_id);
 
        /* Mapping the virtio device identifier */
        vpci_dev->vdev.id.virtio_device_id = pci_dev->id.subsystem_device_id;
-- 
2.17.1