Searched refs:resident_cpu_mpidr (Results 1 – 1 of 1) sorted by relevance
270 u_register_t resident_cpu_mpidr = 0; in psci_migrate() local277 rc = psci_spd_migrate_info(&resident_cpu_mpidr); in psci_migrate()287 if (resident_cpu_mpidr != read_mpidr_el1()) { in psci_migrate()306 u_register_t resident_cpu_mpidr = 0; in psci_migrate_info_type() local308 return psci_spd_migrate_info(&resident_cpu_mpidr); in psci_migrate_info_type()313 u_register_t resident_cpu_mpidr = 0; in psci_migrate_info_up_cpu() local320 rc = psci_spd_migrate_info(&resident_cpu_mpidr); in psci_migrate_info_up_cpu()325 return resident_cpu_mpidr; in psci_migrate_info_up_cpu()