Symbol: cpu_psci_idle_cycle
sys/arch/arm64/arm64/cpu.c
2525
cpu_idle_cycle_fcn = cpu_psci_idle_cycle;
sys/arch/arm64/arm64/cpu.c
327
void cpu_psci_idle_cycle(void);