Searched defs:resident_cpu_mpidr (Results 1 – 1 of 1) sorted by relevance
283 u_register_t resident_cpu_mpidr = 0; in psci_migrate() local319 u_register_t resident_cpu_mpidr = 0; in psci_migrate_info_type() local326 u_register_t resident_cpu_mpidr = 0; in psci_migrate_info_up_cpu() local