[PATCH 2/2] ARM: Make IPI_CPU_BACKTRACE a "non-secure" SGI

[Russell King - ARM Linux]

On Fri, Dec 18, 2015 at 09:16:13AM +0000, Marc Zyngier wrote:
> Having IPI_CPU_BACKTRACE as SGI15 may not work if the kernel is
> running in non-secure mode and that the secure firmware has
> decided to follow ARM's recommendations that SGI8-15 should
> be reserved for secure purpose.
> 
> Now that we are "only" using SGI0-6, change IPI_CPU_BACKTRACE
> to use SGI7, which makes it more likely to work.

We should add a comment to the enum explaining this, so it's obvious
for the future - best place is after the IPI_CPU_BACKTRACE entry.
Not everyone checks the git logs for these kinds of details.

-- 
RMK's Patch system: http://www.arm.linux.org.uk/developer/patches/
FTTC broadband for 0.8mile line: currently at 9.6Mbps down 400kbps up
according to speedtest.net.