diff options
| author | Ian Campbell <ian.campbell@citrix.com> | 2013-05-13 17:23:01 +0100 |
|---|---|---|
| committer | Ian Campbell <ian.campbell@citrix.com> | 2013-05-14 10:04:21 +0100 |
| commit | 56bbdea25d3b333103d5b274a61846b10d1fb261 (patch) | |
| tree | 559b9c132483217a275afaae80e28b5a2a676d22 | |
| parent | 2629838162255cc1207a80f8976fbd4e51763a76 (diff) | |
| download | xen-56bbdea25d3b333103d5b274a61846b10d1fb261.tar.gz xen-56bbdea25d3b333103d5b274a61846b10d1fb261.tar.bz2 xen-56bbdea25d3b333103d5b274a61846b10d1fb261.zip | |
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>
| -rw-r--r-- | xen/arch/arm/time.c | 2 |
1 files changed, 2 insertions, 0 deletions
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 @@ -107,6 +107,8 @@ int __init init_xen_time(void) 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"); dt_device_set_used_by(dev, DOMID_XEN); |