On 11/26/2013 10:41 AM, Benjamin Herrenschmidt wrote: >> Right, but the issue per-se is not clobbering of msg holder, but from POV of >> > receiver, seeming coalescing of 2 set_bit writes to msg holder. > That's fine. There's no expectation that N ipi_send_msg turn into N > messages received... it turns into at least one. OK, I was not aware of that relaxation in semantics. Thx, -Vineet -- To unsubscribe from this list: send the line "unsubscribe linux-arch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html