arm smp support patch

[Russell King - ARM Linux]

On Thu, Nov 11, 2010 at 04:50:14PM -0600, Rob Herring wrote:
> On 11/11/2010 04:46 PM, Russell King - ARM Linux wrote:
>> Can you point out the ARM doc number/section which specifies that.
>>
>> My GIC TRM (which may be outdated) shows that although the SGI interrupt
>> (0:15) enable register is banked, it goes on to say "The distributor does
>> not provide registers for INTIDs<  16 because SGIs are always enabled".
>>
>
> Section 4.3.5:
>
> http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.ihi0048a/index.html

Yea, just found that... ;)