IPI_EVCNT_NUM
struct evcnt ci_ipi_evcnt[IPI_EVCNT_NUM];
static const char *ipi_evcnt_names[IPI_EVCNT_NUM] = IPI_EVCNT_NAMES;
for (i = 0; i < IPI_EVCNT_NUM; ++i)