Symbol: psci_acpi_init
arch/arm64/kernel/setup.c
355
psci_acpi_init();
include/linux/psci.h
53
int __init psci_acpi_init(void);