clocksource/drivers/dw_apb_timer: Fix apbt_readl return types
authorJisheng Zhang <jszhang@marvell.com>
Wed, 25 Nov 2015 15:41:23 +0000 (23:41 +0800)
committerDaniel Lezcano <daniel.lezcano@linaro.org>
Tue, 15 Dec 2015 19:44:54 +0000 (20:44 +0100)
commit9f4165dc4e9e6dd10627b7b4d4e09c09fc01410c
tree6b9ff1a854fc3d1b95f40ea1c81b09f93a815bad
parent0881841f7e7863ba0d33d4c34ee284cde85e18c4
clocksource/drivers/dw_apb_timer: Fix apbt_readl return types

On Marvell BG4CT platform, we observed the __apbt_read_clocksource()
return wrong value: Let's assume the APBTMR_N_CURRENT_VALUE value is
0xf0000000, we got 0xffffffff0fffffff, but it should be 0xfffffff.

This issue should be common on all 64bit platforms. We fix the issue
by letting aptb_readl() return u32. apbt_writel() is also updated
to write u32 val rather than unsigned long.

Signed-off-by: Jisheng Zhang <jszhang@marvell.com>
Signed-off-by: Daniel Lezcano <daniel.lezcano@linaro.org>
drivers/clocksource/dw_apb_timer.c