ipi_intr
ipi_intr, ih_args, name);
intr_establish_xname(ipiops.ppc_ipi_vector, type, level, ipi_intr,
intr_establish_xname(ipiops.ppc_ipi_vector, type, level, ipi_intr,
intr_establish_xname(ipiops.ppc_ipi_vector, type, level, ipi_intr,
int ipi_intr(void *);