Symbol: GEMINI_GLOBAL_CPU1
sys/arch/arm/gemini/gemini_ipi.c
181
off = GEMINI_GLOBAL_CPU1;
sys/arch/arm/gemini/gemini_ipi.c
200
off = GEMINI_GLOBAL_CPU1;