Searched refs:resident_cpu_mpidr (Results 1 – 1 of 1) sorted by relevance
283 u_register_t resident_cpu_mpidr = 0; in psci_migrate() local290 rc = psci_spd_migrate_info(&resident_cpu_mpidr); in psci_migrate()300 if (resident_cpu_mpidr != read_mpidr_el1()) { in psci_migrate()319 u_register_t resident_cpu_mpidr = 0; in psci_migrate_info_type() local321 return psci_spd_migrate_info(&resident_cpu_mpidr); in psci_migrate_info_type()326 u_register_t resident_cpu_mpidr = 0; in psci_migrate_info_up_cpu() local333 rc = psci_spd_migrate_info(&resident_cpu_mpidr); in psci_migrate_info_up_cpu()338 return resident_cpu_mpidr; in psci_migrate_info_up_cpu()