XEN_NIPIS
struct evcnt ci_ipi_events[XEN_NIPIS];
__CTASSERT(XEN_NIPIS <= X86_NIPI);
for (int i = 0; i < XEN_NIPIS; i++)
static const char *xen_ipi_names[XEN_NIPIS] = XEN_IPI_NAMES;
KDASSERT((pending >> XEN_NIPIS) == 0);
static void (*xen_ipifunc[XEN_NIPIS])(struct cpu_info *, struct intrframe *) =