[PATCH 3/6] ARM: twd: register clockevents device before enabling PPI

[Marc Zyngier]

On 08/08/11 18:10, Will Deacon wrote:
> The smp_twd clockevents driver currently enables the local timer PPI
> before the clockevents device is registered. This can lead to a kernel
> panic if a spurious timer interrupt is generated before registration
> has completed since the kernel will treat it as an IPI timer.
> 
> This patch moves the clockevents device registration before the IRQ
> unmasking so that we can always handle timer interrupts once they can
> occur.
> 
> Signed-off-by: Will Deacon <will.deacon at arm.com>

Acked-by: Marc Zyngier <marc.zyngier at arm.com>

I'll rebase my timer patches on top of this one.

	M.
-- 
Jazz is not dead. It just smells funny...