Lines Matching defs:ipi

55 #include <sys/ipi.h>
405 	[IST_IPI] = "ipi",
799 		snprintf(is->is_source, sizeof(is->is_source), "ipi %d", irq);
1367 	for (u_int ipi = 31; pending_ipis != 0; ipi--, pending_ipis <<= 1) {
1369 		ipi -= bits;
1371 		KASSERT(e500_ipifuncs[ipi] != NULL);
1372 		(*e500_ipifuncs[ipi])();
1398 	    NULL, "ipi") == NULL)
1399 		panic("%s: failed to establish ipi interrupt!", __func__);