[PATCH] ARM: smp: Allow real broadcast device selection instead of always dummy

On Wed, Mar 13, 2013 at 03:44:03PM +0000, Santosh Shilimkar wrote:

On Wednesday 13 March 2013 05:55 PM, Mark Rutland wrote:

quoted

On Wed, Mar 13, 2013 at 11:24:01AM +0000, Santosh Shilimkar wrote:

quoted

On Wednesday 13 March 2013 03:46 PM, Mark Rutland wrote:

quoted

Hi Santosh,

[..]

quoted

quoted

quoted

Is the problem that the dummy timer is being registered as the broadcast
source, or that it is selected as a local timer in preference of real timers?

Dummy timer is preferred over real broadcast timer.

Ok.

[...]

quoted

I do agree it'd be worth lowering the dummy timer's rating to ensure it doesn't
override a real timer elsewhere. 

Yep. Can I add you acked-by tag then for $subject patch ?
Would be good to get this one merged as well.

Sure. Though could you reword the commit message? The patch solves the more
general issue of a dummy being preferred over real hardware even outside of
choosing the broadcast device.

Acked-by: Mark Rutland <mark.rutland@arm.com>