ipi_register
if ((ipi_id = ipi_register(softint_schedule, sih)) == 0) {
ucas_critical_ipi = ipi_register(ucas_critical_cpu_gate, NULL);
u_int ipi_register(ipi_func_t, void *);