psci_acpi_init    576 drivers/firmware/psci/psci.c int __init psci_acpi_init(void)
psci_acpi_init     58 include/linux/psci.h static inline int psci_acpi_init(void) { return 0; }