xen/arm: support "arm, armv8-timer" DTS compatibility.

On v8 the compatibility name differs but the node is otherwise specified the
same. See linux/Documentation/devicetree/bindings/arm/arch_timer.txt

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>

diff --git a/xen/arch/arm/time.c b/xen/arch/arm/time.c
index db849cf4bff709577f3e412876d372059e98ede7..4ed78827222b8aafaf81aafdbc343d09bce6b294 100644 (file)
--- a/xen/arch/arm/time.c
+++ b/xen/arch/arm/time.c
@@ -106,6 +106,8 @@ int __init init_xen_time(void)
     unsigned int i;
 
     dev = dt_find_compatible_node(NULL, NULL, "arm,armv7-timer");
+    if ( !dev )
+        dev = dt_find_compatible_node(NULL, NULL, "arm,armv8-timer");
     if ( !dev )
         panic("Unable to find a compatible timer in the device tree\n");