Re: [PATCH 1/8] KVM: x86: avoid loading a vCPU after .vm_destroy was called