psci_cpu_off 422 drivers/firmware/psci/psci.c psci_ops.cpu_off = psci_cpu_off; psci_cpu_off 515 drivers/firmware/psci/psci.c psci_ops.cpu_off = psci_cpu_off;