KVM_REQ_NMI
kvm_make_request(KVM_REQ_NMI, vcpu);
if (kvm_check_request(KVM_REQ_NMI, vcpu))
if (kvm_test_request(KVM_REQ_NMI, vcpu) ||
if (kvm_test_request(KVM_REQ_NMI, vcpu) ||
kvm_make_request(KVM_REQ_NMI, vcpu);