[PATCH] powerpc: Add support for using doorbells for SMP IPI

[Benjamin Herrenschmidt]

> crit doorbell for xmon IPI sounds interesting.  However, I don't  
> following about use of external CRITs for IPIs.

Just a finger not following the brain :-) I meant for NMI's

Cheers,
Ben.