xen/arm: Add support for device tree specified arch_timer clock frequency.
authorChen Baozi <baozich@gmail.com>
Thu, 8 Aug 2013 10:52:24 +0000 (18:52 +0800)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 8 Aug 2013 11:43:19 +0000 (12:43 +0100)
commitdd11cc89c5ba53ae8d969037eda8b8c70d20ffa6
treecc3949932d75b2a9996ebb8458d2c158c9d157cd
parent1242b63dd1a4321acd2b02051f210a3488265709
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