Searched refs:resident_cpu (Results 1 – 7 of 7) sorted by relevance
27 static int32_t cpu_migrate_info(u_register_t *resident_cpu) in cpu_migrate_info() argument30 *resident_cpu = MPIDR_CPU0; in cpu_migrate_info()
25 int32_t rcar_pwrc_cpu_migrate_info(u_register_t *resident_cpu);
152 int32_t rcar_pwrc_cpu_migrate_info(u_register_t *resident_cpu) in rcar_pwrc_cpu_migrate_info() argument154 *resident_cpu = rcar_boot_mpidr; in rcar_pwrc_cpu_migrate_info()
30 int32_t (*svc_migrate_info)(u_register_t *resident_cpu);
190 static int32_t tspd_cpu_migrate_info(u_register_t *resident_cpu) in tspd_cpu_migrate_info() argument
178 static int32_t opteed_cpu_migrate_info(u_register_t *resident_cpu) in opteed_cpu_migrate_info() argument
3392 int32_t (*svc_migrate_info)(u_register_t *resident_cpu);3427 via ``resident_cpu`` (first argument). The updates to ``resident_cpu`` is