Re: [libvirt] [PATCH 04/12] vcpu: define internal driver API