Index: amd64/ipi.c =================================================================== RCS file: /cvs/src/sys/arch/amd64/amd64/ipi.c,v retrieving revision 1.11 diff -u -p -r1.11 ipi.c --- amd64/ipi.c 5 Dec 2012 23:20:10 -0000 1.11 +++ amd64/ipi.c 5 Jan 2015 12:12:53 -0000 @@ -103,7 +103,7 @@ x86_ipi_handler(void) u_int32_t pending; int bit; - pending = x86_atomic_testset_u32(&ci->ci_ipis, 0); + pending = atomic_swap_uint(&ci->ci_ipis, 0); for (bit = 0; bit < X86_NIPI && pending; bit++) { if (pending & (1<