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