Symbol: cpu_psci_init
sys/arch/arm64/arm64/cpu.c
1680
cpu_psci_init(ci);
sys/arch/arm64/arm64/cpu.c
326
void cpu_psci_init(struct cpu_info *);