On Thu, Oct 03, 2013 at 10:14:57PM +0200, Paolo Bonzini wrote:> Do you need to do the same in rcu_sync_init?Yes.. I actually did but only send the diff for the header file :/