X86_NIPI
struct evcnt ci_ipi_events[X86_NIPI];
__CTASSERT(XEN_NIPIS <= X86_NIPI);
extern void (* const ipifunc[X86_NIPI])(struct cpu_info *);
static const char *x86_ipi_names[X86_NIPI] = X86_IPI_NAMES;
for (i = 0; i < X86_NIPI; i++)
KDASSERT((pending >> X86_NIPI) == 0);
void (* const ipifunc[X86_NIPI])(struct cpu_info *) =