arm SMP on Cortex-A15

[Ian Lepore]

On Thu, 2014-03-20 at 08:42 +0100, Wojciech Macek wrote:
> Hi Ian,
> 
> Thanks, I looked at your patch and tried to run it. Unfortunatelly, it is
> still something wrong on A15 core. Your changes in pmap_kenter_internal do
> cause panics during startup. Apparently we still need to do
> cpu_tlb_flushID_SE(va) at the end of that function... but that is weird. I
> made this small "fix" and I'm able to boot the system. I'm going to run
> stress tests now to see if it is stable.
> 
> Regarding DEBUG, that is really interesting. It you see that on A9 that
> seems to be even worse, because suggests a flaw in pmap logic...
> 
> Wojtek

Hmmm, do you have r263251?

I just noticed that my version of the change to pmap_kenter_internal
uses cpu_tlb_flushD_SE(), yours uses cpu_tlb_flushID_SE().  I wonder if
changing mine to ID is all it takes to make your system boot?

-- Ian