Symbol: gemini_ipiintr
sys/arch/arm/gemini/gemini_ipi.c
23
static int gemini_ipiintr(void *);
sys/arch/arm/gemini/gemini_ipi.c
67
gemini_ipiintr, sc);
sys/arch/arm/gemini/gemini_ipi.c
70
gemini_ipiintr, sc);