Searched refs:phys_cpu_id (Results 1 – 1 of 1) sorted by relevance
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()