Searched refs:ipi_addr (Results 1 – 1 of 1) sorted by relevance
656 void __iomem *ipi_addr; in ia64_send_ipi() local667 ipi_addr = ipi_base_addr + ((phys_cpu_id << 4) | ((redirect & 1) << 3)); in ia64_send_ipi()669 writeq(ipi_data, ipi_addr); in ia64_send_ipi()