plat/common: Probe all platform devices on arm64

The changes introduced by ukmmio terminate probing of platform
devices after the first one. Make this condtitional to ARCH_X86_64.

Signed-off-by: Michalis Pappas <michalis@unikraft.io>

diff --git a/plat/common/platform_bus.c b/plat/common/platform_bus.c
index 5753230b449d1ffb8c40f07ee6b35eed6aacd1b0..9ef545fefe37e6af98f5beed0e0f353c22244945 100644 (file)
--- a/plat/common/platform_bus.c
+++ b/plat/common/platform_bus.c
@@ -190,7 +190,9 @@ static int pf_probe(void)
                ret = pf_driver_add_device(drv, dev);
                if (ret < 0)
                        uk_free(pfh.a, dev);
+#ifdef CONFIG_ARCH_X86_64
                return 0;
+#endif
        } while (1);
 
        return ret;