Searched refs:pending_ipis (Results 1 – 1 of 1) sorted by relevance
514 unsigned long *pending_ipis = &ipi_data[this_cpu].bits; in handle_ipi() local519 this_cpu, *pending_ipis, regs->pc)); in handle_ipi()523 while ((ops = xchg(pending_ipis, 0)) != 0) { in handle_ipi()