Symbol: aarch64_cpu_idle_wfi
sys/arch/aarch64/aarch64/cpu_machdep.c
56
void (*arm_cpu_idle)(void) = aarch64_cpu_idle_wfi;
sys/arch/aarch64/include/cpufunc.h
56
void aarch64_cpu_idle_wfi(void);