Re: [libvirt] [PATCH 20/40] Simplify the Xen domain VCPU driver methods