hw_ipi_intr_establish
int hw_ipi_intr_establish(int (*)(void *), u_long);
error = hw_ipi_intr_establish(mips64_ipi_intr, cpuid);