Re: [libvirt] [PATCH v3 07/12] hyperv: update wmi code generator.