Symbol: GLOBAL_CPU0_IPICPU1
sys/arch/arm/gemini/gemini_ipi.c
179
bit = GLOBAL_CPU0_IPICPU1;
sys/arch/arm/gemini/gemini_ipi.c
204
bit = GLOBAL_CPU0_IPICPU1;