Symbol: psci_powerdown
sys/dev/fdt/psci.c
152
powerdownfn = psci_powerdown;
sys/dev/fdt/psci.c
61
void psci_powerdown(void);