Searched refs:resident_cpu (Results 1 – 5 of 5) sorted by relevance
25 static int32_t cpu_migrate_info(uint64_t *resident_cpu) in cpu_migrate_info() argument28 *resident_cpu = MPIDR_CPU0; in cpu_migrate_info()
28 int32_t (*svc_migrate_info)(u_register_t *resident_cpu);
179 static int32_t tspd_cpu_migrate_info(uint64_t *resident_cpu) in tspd_cpu_migrate_info() argument
157 static int32_t opteed_cpu_migrate_info(uint64_t *resident_cpu) in opteed_cpu_migrate_info() argument
489 int32_t (*svc_migrate_info)(u_register_t *resident_cpu);524 via ``resident_cpu`` (first argument). The updates to ``resident_cpu`` is