Re: [PATCH v12 03/20] KVM: xen: mark guest pages dirty with the pfncache lock held