KVM_REQ_WATCHDOG
kvm_clear_request(KVM_REQ_WATCHDOG, vcpu);
kvm_make_request(KVM_REQ_WATCHDOG, vcpu);
if (kvm_check_request(KVM_REQ_WATCHDOG, vcpu)) {