psci_migrate      428 drivers/firmware/psci/psci.c 	psci_ops.migrate = psci_migrate;
psci_migrate      525 drivers/firmware/psci/psci.c 		psci_ops.migrate = psci_migrate;