x86: waits after sending IPIs
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 19 Mar 2010 00:07:00 +0000 (17:07 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:40 +0000 (17:35 -0700)
commit58446549105eaacc53be78b6d5739a5579657dce
tree551943b29f709961b053e0459ca321af4b91ab7d
parent6d0b636803fdde2dc13d3948934c265b4936faeb
x86: waits after sending IPIs

Instead of checking before, wait afterwards.  It should provide the same
protection from losing IPIs (since all IPI-making functions adhere to
this), but now the send functions return once the IPI should have made
it to the distant end.  This way, we don't need to wait twice or have a
separate call for an IPI-barrier (like the wmb()s).
kern/arch/i686/apic.h