psci_cpu_on 425 drivers/firmware/psci/psci.c psci_ops.cpu_on = psci_cpu_on; psci_cpu_on 520 drivers/firmware/psci/psci.c psci_ops.cpu_on = psci_cpu_on;