Symbol: __psci_migrate
drivers/firmware/psci/psci.c
245
return __psci_migrate(psci_0_1_function_ids.migrate, cpuid);
drivers/firmware/psci/psci.c
250
return __psci_migrate(PSCI_FN_NATIVE(0_2, MIGRATE), cpuid);