Searched refs:ipi_types (Results 1 – 2 of 2) sorted by relevance
462 static const char *ipi_types[NR_IPI] = { variable481 seq_printf(p, " %s\n", ipi_types[i]); in show_ipi_list()
459 static const char *ipi_types[NR_IPI] = { variable481 seq_printf(p, " %s\n", ipi_types[i]); in show_ipi_list()