From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: From: Daniel Lezcano To: gregkh@linuxfoundation.org Cc: linux-kernel@vger.kernel.org, stable@vger.kernel.org, dinguyen@altera.com, baruch@tkos.co.il, tglx@linutronix.de Subject: [PATCH-3.12.y 1/2] clocksource: dw_apb_timer_of: Fix read_sched_clock Date: Thu, 19 Dec 2013 23:30:13 +0100 Message-Id: <1387492214-27911-1-git-send-email-daniel.lezcano@linaro.org> Sender: linux-kernel-owner@vger.kernel.org List-ID: From: Dinh Nguyen Upstream commit 85dc6ee The read_sched_clock should return the ~value because the clock is a countdown implementation. read_sched_clock() should be the same as __apbt_read_clocksource(). Signed-off-by: Dinh Nguyen Signed-off-by: Daniel Lezcano --- drivers/clocksource/dw_apb_timer_of.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/drivers/clocksource/dw_apb_timer_of.c b/drivers/clocksource/dw_apb_timer_of.c index 4cbae4f..33fd4ff 100644 --- a/drivers/clocksource/dw_apb_timer_of.c +++ b/drivers/clocksource/dw_apb_timer_of.c @@ -108,7 +108,7 @@ static void add_clocksource(struct device_node *source_timer) static u32 read_sched_clock(void) { - return __raw_readl(sched_io_base); + return ~__raw_readl(sched_io_base); } static const struct of_device_id sptimer_ids[] __initconst = { -- 1.7.9.5