1 files changed, 15 insertions, 5 deletions

diff --git a/arch/x86/kvm/x86.c b/arch/x86/kvm/x86.c
index dbcff38dfcc3..491eda308289 100644
--- a/arch/x86/kvm/x86.c
+++ b/arch/x86/kvm/x86.c
@@ -155,11 +155,16 @@ void kvm_inject_page_fault(struct kvm_vcpu *vcpu, unsigned long addr,
                            u32 error_code)
 {
         ++vcpu->stat.pf_guest;
-        if (vcpu->arch.exception.pending && vcpu->arch.exception.nr == PF_VECTOR) {
-                printk(KERN_DEBUG "kvm: inject_page_fault:"
-                       " double fault 0x%lx\n", addr);
-                vcpu->arch.exception.nr = DF_VECTOR;
-                vcpu->arch.exception.error_code = 0;
+        if (vcpu->arch.exception.pending) {
+                if (vcpu->arch.exception.nr == PF_VECTOR) {
+                        printk(KERN_DEBUG "kvm: inject_page_fault:"
+                                        " double fault 0x%lx\n", addr);
+                        vcpu->arch.exception.nr = DF_VECTOR;
+                        vcpu->arch.exception.error_code = 0;
+                } else if (vcpu->arch.exception.nr == DF_VECTOR) {
+                        /* triple fault -> shutdown */
+                        set_bit(KVM_REQ_TRIPLE_FAULT, &vcpu->requests);
+                }
                 return;
         }
         vcpu->arch.cr2 = addr;
@@ -2676,6 +2681,11 @@ again:
                         r = 0;
                         goto out;
                 }
+                if (test_and_clear_bit(KVM_REQ_TRIPLE_FAULT, &vcpu->requests)) {
+                        kvm_run->exit_reason = KVM_EXIT_SHUTDOWN;
+                        r = 0;
+                        goto out;
+                }
         }
 
         kvm_inject_pending_timer_irqs(vcpu);