KVM_REQ_VCPU_RESET
if (kvm_check_request(KVM_REQ_VCPU_RESET, vcpu))
if (kvm_check_request(KVM_REQ_VCPU_RESET, vcpu))
kvm_make_request(KVM_REQ_VCPU_RESET, vcpu);
if (kvm_check_request(KVM_REQ_VCPU_RESET, vcpu))
kvm_make_request(KVM_REQ_VCPU_RESET, vcpu);