Searched refs:cpu_mpid (Results 1 – 3 of 3) sorted by relevance
30 uint64_t cpu_mpid = read_mpidr_el1(); in arch_proc_id() local32 __ASSERT(cpu_mpid == (uint32_t)cpu_mpid, "mpid extends past 32 bits"); in arch_proc_id()34 return (uint32_t)cpu_mpid; in arch_proc_id()
72 uint64_t cpu_mpid = 0; in arch_cpu_start() local99 cpu_mpid = cpu_node_list[i]; in arch_cpu_start()104 arm64_cpu_boot_params.mpid = cpu_mpid; in arch_cpu_start()109 if (pm_cpu_on(cpu_mpid, (uint64_t)&__start)) { in arch_cpu_start()111 cpu_num, cpu_mpid); in arch_cpu_start()132 cpu_map[cpu_num] = cpu_mpid; in arch_cpu_start()134 printk("Secondary CPU core %d (MPID:%#llx) is up\n", cpu_num, cpu_mpid); in arch_cpu_start()
100 uint32_t cpu_mpid = 0; in arch_cpu_start() local116 cpu_mpid = cpu_node_list[i]; in arch_cpu_start()149 arm_cpu_boot_params.mpid = cpu_mpid; in arch_cpu_start()164 cpu_map[cpu_num] = cpu_mpid; in arch_cpu_start()166 printk("Secondary CPU core %d (MPID:%#x) is up\n", cpu_num, cpu_mpid); in arch_cpu_start()
