arm: arch_timer: use u64/u32 for register data
authorMark Rutland <mark.rutland@arm.com>
Mon, 12 Nov 2012 14:49:27 +0000 (14:49 +0000)
committerMark Rutland <mark.rutland@arm.com>
Thu, 31 Jan 2013 15:51:05 +0000 (15:51 +0000)
commitef01c1d1483d214357f183949bc6173f29906a87
tree99347e493e16bdcd6a41eaf5f407862c865a3b61
parentef201de430b0deb62a9afd2c4e67f04525cec43c
arm: arch_timer: use u64/u32 for register data

To ensure the correct size of types, use u64 for the return value of
arch_timer_get_cnt{p,v}ct, and u32 for arch_timer_rate, matching the
size of the registers these values are taken from. While we're changing
them anyway, simplify the implementation of arch_timer_get_cnt{p,v}ct.

Signed-off-by: Mark Rutland <mark.rutland@arm.com>
Acked-by: Catalin Marinas <catalin.marinas@arm.com>
Acked-by: Marc Zyngier <marc.zyngier@arm.com>
Acked-by: Santosh Shilimkar <santosh.shilimkar@ti.com>
arch/arm/kernel/arch_timer.c