[PATCH] driver: Add recognition of GIVv3 to vPCI registration

[Jan Kiszka]

From: Jan Kiszka <jan.k...@siemens.com>

On GICv3 systems, match against this interrupt controller in order to
hook up the virtual PCI host controller.

Signed-off-by: Jan Kiszka <jan.k...@siemens.com>
---
driver/pci.c | 1 +
1 file changed, 1 insertion(+)

diff --git a/driver/pci.c b/driver/pci.c
index 9750ac44..24844d7b 100644
--- a/driver/pci.c
+++ b/driver/pci.c
@@ -251,6 +251,7 @@ static const struct of_device_id gic_of_match[] = {
{ .compatible = "arm,cortex-a15-gic", },
{ .compatible = "arm,cortex-a7-gic", },
{ .compatible = "arm,gic-400", },
+ { .compatible = "arm,gic-v3", },
{},
};

--
2.12.3