From: Ian Campbell <ian.campbell@citrix.com>
Date: Mon, 13 May 2013 16:23:01 +0000 (+0100)
Subject: xen/arm: support "arm, armv8-timer" DTS compatibility.
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=56bbdea25d3b333103d5b274a61846b10d1fb261;p=people%2Faperard%2Fxen-arm.git

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 db849cf4bf..4ed7882722 100644
--- 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");