[patch 0/4] genirq/exynos timers: Fix the CPU hotplug wreckage sanely

Wed Apr 16 14:16:12 PDT 2014

On Wed, 16 Apr 2014, Krzysztof Kozlowski wrote:
> On śro, 2014-04-16 at 14:36 +0000, Thomas Gleixner wrote:
> > @Krzysztof: Can you please retest the series? I've changed the core
> > implementation versus the first attempt to make it less intrusive.
> 
> Works fine. Tested whole patchset on board with Exynos 3250.

Great! Now I just need to sell it :)