Symbol: GLOBAL_CPU1_IPICPU0
sys/arch/arm/gemini/gemini_ipi.c
182
bit = GLOBAL_CPU1_IPICPU0;
sys/arch/arm/gemini/gemini_ipi.c
201
bit = GLOBAL_CPU1_IPICPU0;