psci_acpi_init    338 arch/arm64/kernel/setup.c 		psci_acpi_init();
psci_acpi_init     54 include/linux/psci.h int __init psci_acpi_init(void);