Symbol: psci_migrate_info_up_cpu
drivers/firmware/psci/psci.c
442
cpuid = psci_migrate_info_up_cpu();
drivers/firmware/psci/psci.c
620
cpuid = psci_migrate_info_up_cpu();