Subject: [PATCH 4/4] irqchip: gic: Perform the gic_secondary_init() call via CPU notifier

From: [email-masked] (Santosh Shilimkar)
Date: Thu, 24 Jan 2013 11:03:14 +0530

On Wednesday 23 January 2013 11:29 PM, Catalin Marinas wrote:
> All the calls to gic_secondary_init() pass 0 as the first argument.
> Since this function is called on each CPU when starting, it can be done
> in a platform-independent way via a CPU notifier registered by the GIC
> code.
>
> Signed-off-by: Catalin Marinas <[email-masked]>

[..]

> ---
Nice to see GIC is converted as well like timers. The trick
as you mentioned about higher priority of GIC than timer
is key for correct initialization of secondary CPUs.

For OMAP changes and the series,
Acked-by: Santosh Shilimkar <[email-masked]>