Searched refs:phys_cpu_id (Results 1 – 3 of 3) sorted by relevance
51 u32 phys_cpu_id = thread_to_core(*reg); in ft_fixup_num_cores() local53 if (!is_core_valid(phys_cpu_id) || is_core_disabled(phys_cpu_id)) { in ft_fixup_num_cores()
633 unsigned long phys_cpu_id; in ia64_send_ipi() local635 phys_cpu_id = cpu_physical_id(cpu); in ia64_send_ipi()642 ipi_addr = ipi_base_addr + ((phys_cpu_id << 4) | ((redirect & 1) << 3)); in ia64_send_ipi()
54 u32 phys_cpu_id = thread_to_core(*reg); in ft_fixup_cpu() local55 u64 val = phys_cpu_id * SIZE_BOOT_ENTRY + spin_tbl_addr; in ft_fixup_cpu()