KVM_REQ_TRIPLE_FAULT
kvm_make_request(KVM_REQ_TRIPLE_FAULT, vcpu);
kvm_clear_request(KVM_REQ_TRIPLE_FAULT, vcpu);
kvm_make_request(KVM_REQ_TRIPLE_FAULT, vcpu);
kvm_make_request(KVM_REQ_TRIPLE_FAULT, vcpu);
kvm_make_request(KVM_REQ_TRIPLE_FAULT, vcpu);
kvm_clear_request(KVM_REQ_TRIPLE_FAULT, vcpu);
if (kvm_test_request(KVM_REQ_TRIPLE_FAULT, vcpu)) {
if (kvm_test_request(KVM_REQ_TRIPLE_FAULT, vcpu)) {
if (kvm_check_request(KVM_REQ_TRIPLE_FAULT, vcpu)) {
kvm_make_request(KVM_REQ_TRIPLE_FAULT, vcpu);
events->triple_fault.pending = kvm_test_request(KVM_REQ_TRIPLE_FAULT, vcpu);
kvm_make_request(KVM_REQ_TRIPLE_FAULT, vcpu);
kvm_clear_request(KVM_REQ_TRIPLE_FAULT, vcpu);
kvm_make_request(KVM_REQ_TRIPLE_FAULT, vcpu);
kvm_make_request(KVM_REQ_TRIPLE_FAULT, emul_to_vcpu(ctxt));
kvm_make_request(KVM_REQ_TRIPLE_FAULT, vcpu);
kvm_test_request(KVM_REQ_TRIPLE_FAULT, vcpu);