Searched refs:cpu_id_t (Results 1 – 11 of 11) sorted by relevance
20 cpu_id_t id;32 void cpu_module_init(const cpu_id_t *cpu_ids, size_t count);38 struct cpu *cpu_find(cpu_id_t id);
28 cpu_id_t cpu_ids[MAX_CPUS];
25 bool fdt_find_cpus(const struct fdt *fdt, cpu_id_t *cpu_ids, size_t *cpu_count);
31 typedef uint32_t cpu_id_t; typedef42 cpu_id_t vcpu_id;
78 void cpu_module_init(const cpu_id_t *cpu_ids, size_t count) in cpu_module_init()82 cpu_id_t boot_cpu_id = cpus[0].id; in cpu_module_init()96 cpu_id_t id = cpu_ids[i]; in cpu_module_init()180 struct cpu *cpu_find(cpu_id_t id) in cpu_find()
64 bool fdt_find_cpus(const struct fdt *fdt, cpu_id_t *cpu_ids, size_t *cpu_count) in fdt_find_cpus()
39 enum power_status arch_cpu_status(cpu_id_t cpu_id);
61 enum power_status arch_cpu_status(cpu_id_t cpu_id) in arch_cpu_status()
214 ffa_vcpu_index_t vcpu_id_to_index(cpu_id_t vcpu_id) in vcpu_id_to_index()265 cpu_id_t target_affinity = arg0; in psci_secondary_vm_handler()312 cpu_id_t target_cpu = arg0; in psci_secondary_vm_handler()
83 cpu_id_t vcpu_id = is_primary ? vcpu->cpu->id : vcpu_index(vcpu); in arch_regs_reset()
36 typedef uint64_t cpu_id_t; typedef
Completed in 9 milliseconds