On 02/16/2012 07:57 PM, Avi Kivity wrote: > Suppose at point A another thread executes defer_remote_flush(), > commit_remote_flush(), and defer_remote_flush() again. This brings the > balue of tlbs_dirty back to 1 again, with the tlbs dirty. The cmpxchg() > then resets tlbs_dirty, leaving the actual tlbs dirty. > Oh, right, sorry for my careless! -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html