Mark Rutland ef01c1d148 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>
2013-01-31 15:51:05 +00:00
..
2012-11-05 09:35:59 -08:00
2012-03-28 18:30:01 +01:00
2013-01-03 15:57:04 -08:00
2012-07-01 21:59:19 +08:00
2012-10-11 10:55:04 +01:00
2012-03-24 09:38:56 +00:00
2012-10-09 20:24:24 +02:00
2012-10-11 10:55:04 +01:00
2012-11-09 11:37:26 +00:00
2012-10-01 09:58:18 -04:00
2012-03-28 18:30:01 +01:00
2012-12-12 12:05:15 -08:00
2012-03-28 18:30:01 +01:00