Searched refs:ipi_names (Results 1 – 1 of 1) sorted by relevance
100 static const char * const ipi_names[] = { variable117 seq_printf(p, " %s\n", ipi_names[i]); in arch_show_interrupts()