Start the GIC counter after configuring the clocksource since there are no guarantees the counter will be running after a CPU reset.
Cc: Daniel Lezcano <daniel.lezc...@linaro.org> Cc: Thomas Gleixner <t...@linutronix.de> Cc: <linux-kernel@vger.kernel.org> Signed-off-by: Markos Chandras <markos.chand...@imgtec.com> --- drivers/clocksource/mips-gic-timer.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/drivers/clocksource/mips-gic-timer.c b/drivers/clocksource/mips-gic-timer.c index 3bd31b1321f6..16adbc1fa4c1 100644 --- a/drivers/clocksource/mips-gic-timer.c +++ b/drivers/clocksource/mips-gic-timer.c @@ -133,6 +133,9 @@ static void __init __gic_clocksource_init(void) clocksource_register_hz(&gic_clocksource, gic_frequency); gic_clockevent_init(); + + /* And finally start the counter */ + gic_start_count(); } void __init gic_clocksource_init(unsigned int frequency) -- 2.3.3 -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/