[PATCH] clocksource/arm_smp_twd: handle frequency changes

[Linus Walleij]

On Mon, Jun 20, 2011 at 11:05 AM, Marc Zyngier <marc.zyngier at arm.com> wrote:

> Thanks Linus. I'll push this on top of my patch stack, with the below fix:

Thanks Marc, I think you're making Colin happy too :-)

I don't know why that thing could build & boot for me :-/

I've enabled the same fix, put in my cpufreq clock for the
TWD and rebooted, and it works fine.

Yours,
Linus Walleij