Searched refs:resident_cpu_mpidr (Results 1 – 1 of 1) sorted by relevance
284 u_register_t resident_cpu_mpidr = 0; in psci_migrate() local291 rc = psci_spd_migrate_info(&resident_cpu_mpidr); in psci_migrate()301 if (resident_cpu_mpidr != read_mpidr_el1()) { in psci_migrate()320 u_register_t resident_cpu_mpidr = 0; in psci_migrate_info_type() local322 return psci_spd_migrate_info(&resident_cpu_mpidr); in psci_migrate_info_type()327 u_register_t resident_cpu_mpidr = 0; in psci_migrate_info_up_cpu() local334 rc = psci_spd_migrate_info(&resident_cpu_mpidr); in psci_migrate_info_up_cpu()339 return resident_cpu_mpidr; in psci_migrate_info_up_cpu()