Searched refs:smp_ipi_name (Results 1 – 3 of 3) sorted by relevance
173 extern const char *smp_ipi_name[];
240 const char *smp_ipi_name[] = { variable265 smp_ipi_name[msg], NULL); in smp_request_message_ipi()267 virq, smp_ipi_name[msg], err); in smp_request_message_ipi()
1855 printk(KERN_ERR "Failed to map %s\n", smp_ipi_name[i]); in mpic_request_ipis()