Symbol: GEMINI_GLOBAL_CPU0
sys/arch/arm/gemini/gemini_ipi.c
178
off = GEMINI_GLOBAL_CPU0;
sys/arch/arm/gemini/gemini_ipi.c
203
off = GEMINI_GLOBAL_CPU0;