Symbol: cpu_sleep
sys/arch/arm/arm/idle_machdep.c
47
cpu_sleep(0);
sys/arch/arm/arm32/arm32_machdep.c
246
cpu_sleep(0);