Symbol: psci_acpi_init
drivers/firmware/psci/psci.c
834
int __init psci_acpi_init(void)
include/linux/psci.h
57
static inline int psci_acpi_init(void) { return 0; }