[RFC PATCH 5/8] AMP: smp: Extend number of IPIs

On Mon, Jun 18, 2012 at 01:30:08PM +0200, Michal Simek wrote:

GIC supports up to 16 IPIs.

Signed-off-by: Michal Simek <monstr@monstr.eu>

---
Please correct me if this code is also designed for different
interrupt controller which doesn't support 16 IPIs.

This code is not specific to the GIC.  We use NR_IPI to indicate the
number of IPIs that the kernel actually uses, not the number which the
hardware provides.