Searched refs:pending_ipis (Results 1 – 2 of 2) sorted by relevance
99 unsigned long *pending_ipis = &__ia64_per_cpu_var(ipi_operation); in handle_IPI() local103 while ((ops = xchg(pending_ipis, 0)) != 0) { in handle_IPI()
518 unsigned long *pending_ipis = &ipi_data[this_cpu].bits; in handle_ipi() local523 this_cpu, *pending_ipis, regs->pc)); in handle_ipi()527 while ((ops = xchg(pending_ipis, 0)) != 0) { in handle_ipi()