Symbol: gemini_ipm_intr
sys/arch/arm/gemini/gemini_ipm.c
120
ih = ipi_intr_establish(gemini_ipm_intr, sc);
sys/arch/arm/gemini/gemini_ipm.c
57
static int gemini_ipm_intr(void *);