Re: [libvirt] [PATCH 0/4] Add VCPU halted to domain statistics