ipi_intr_establish
extern void *ipi_intr_establish(int (*)(void *), void *);
ih = ipi_intr_establish(gemini_ipm_intr, sc);