RFC: Patches with AXP support and pmap&smp fixes.

[Olivier Houchard]

On Mon, May 06, 2013 at 11:19:48AM +0200, Grzegorz Bernacki wrote:
> 
> Hi,
> 
> Our patch fixes only initialization of pcpu in pcpu_init(). In 4 cores 
> setup it is possible the at least two cores simultaneously updating 
> queue of pcpus which causes corruption.
> I am not aware of any other problems with SMP. Let us try setup with 
> WITNESS enabled and we'll see if we have the same problem.
> Olivier, could you share your patch? In case we have the problem we 
> would like to have it.
> 

Hi,

Sure I will dust it off, and send it. Maybe not before Sunday though, I'll be
mostly MIA for the week. I'm quite interested in you guys having a look at it.

Regards,

Olivier