arm/vtimer: convert result to ticks when reading CNTPCT register
authorIan Campbell <ian.campbell@citrix.com>
Tue, 9 Oct 2012 14:05:39 +0000 (15:05 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 9 Oct 2012 14:05:39 +0000 (15:05 +0100)
commit55ba3b2be653e85e73cbad96f5cd2e5307e83730
tree597f03eda20d5550794d3e6ffde5716f6de98b41
parent368885b91fae0fa94e6e9e68aaaf27d578a12cb0
arm/vtimer: convert result to ticks when reading CNTPCT register

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/vtimer.c