Symbol: psci_cpu_off
sys/arch/arm64/arm64/cpu.c
1977
psci_cpu_off();
sys/dev/fdt/pscivar.h
42
int32_t psci_cpu_off(void);