Home
last modified time | relevance | path

Searched refs:pending_ipis (Results 1 – 3 of 3) sorted by relevance

/arch/riscv/kernel/
Dsmp.c142 unsigned long *pending_ipis = &ipi_data[smp_processor_id()].bits; in handle_IPI() local
155 ops = xchg(pending_ipis, 0); in handle_IPI()
/arch/ia64/kernel/
Dsmp.c99 unsigned long *pending_ipis = &__ia64_per_cpu_var(ipi_operation); in handle_IPI() local
103 while ((ops = xchg(pending_ipis, 0)) != 0) { in handle_IPI()
/arch/alpha/kernel/
Dsmp.c524 unsigned long *pending_ipis = &ipi_data[this_cpu].bits; in handle_ipi() local
529 this_cpu, *pending_ipis, regs->pc)); in handle_ipi()
533 while ((ops = xchg(pending_ipis, 0)) != 0) { in handle_ipi()