Dump the VMCS on an unexpected #VE, otherwise it's practically impossible
to figure out why the #VE occurred.
Signed-off-by: Sean Christopherson <seanjc@google.com>
Message-ID: <
20240518000430.
1118488-6-seanjc@google.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
        if (is_invalid_opcode(intr_info))
                return handle_ud(vcpu);
 
-       if (WARN_ON_ONCE(is_ve_fault(intr_info)))
+       if (WARN_ON_ONCE(is_ve_fault(intr_info))) {
+               dump_vmcs(vcpu);
                return 1;
+       }
 
        error_code = 0;
        if (intr_info & INTR_INFO_DELIVER_CODE_MASK)