phys_cpu_id       653 arch/ia64/kernel/irq_ia64.c 	unsigned long phys_cpu_id;
phys_cpu_id       655 arch/ia64/kernel/irq_ia64.c 	phys_cpu_id = cpu_physical_id(cpu);
phys_cpu_id       662 arch/ia64/kernel/irq_ia64.c 	ipi_addr = ipi_base_addr + ((phys_cpu_id << 4) | ((redirect & 1) << 3));