xen/arm: Add support for device tree specified arch_timer clock frequency.
authorChen Baozi <baozich@gmail.com>
Tue, 13 Aug 2013 11:14:25 +0000 (19:14 +0800)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 22 Aug 2013 12:17:41 +0000 (13:17 +0100)
commit5f99725ce1f53c21aec71cb4de7f387136279857
tree0eac27ef39402bce14818cd4c0a30c8dc2efb24e
parent393cc78449d22299c359c863880170f4cc2e831c
xen/arm: Add support for device tree specified arch_timer clock frequency.

Signed-off-by: Chen Baozi <baozich@gmail.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/time.c