Searched defs:resident_cpu_mpidr (Results 1 – 1 of 1) sorted by relevance
284 u_register_t resident_cpu_mpidr = 0; in psci_migrate() local320 u_register_t resident_cpu_mpidr = 0; in psci_migrate_info_type() local327 u_register_t resident_cpu_mpidr = 0; in psci_migrate_info_up_cpu() local