IPI_NOP
pending = atomic_swap_uint(&ci->ci_ipi_reason, IPI_NOP);
intr_send_ipi(ci, IPI_NOP);
intr_send_ipi(ci, IPI_NOP);
if (ci == curcpu() && reason == IPI_NOP)
if (reason != IPI_NOP)
intr_send_ipi(ci, IPI_NOP);
intr_send_ipi(ci, IPI_NOP);
if (ci == curcpu() && reason == IPI_NOP)
if (reason != IPI_NOP)
pending = atomic_swap_uint(&ci->ci_ipi_reason, IPI_NOP);