fsl booke MM vs. SMP questions

[Benjamin Herrenschmidt]

On Wed, 2007-05-23 at 10:38 +0800, Dave Liu wrote:
> On Wed, 2007-05-23 at 08:42 +1000, Benjamin Herrenschmidt wrote:
> 
> > The IPIs should be buffered by the PIC ... delivered only once but
> 
> but what is the buffer depth for IPIs in the PIC?

One :-)

You never "loose" IPIs in the sense that you always get at least 1
interrupt for N IPIs and it's up to software to make sure not to lose
any event. The linux kernel arch code usually handles that with a
synchronous IPI mecanism.

Ben.