SVM_EXIT_ERR
{ SVM_EXIT_ERR, "invalid_guest_state" }
vmcb12->control.exit_code = SVM_EXIT_ERR;
svm->vmcb->control.exit_code = SVM_EXIT_ERR;
vcpu->run->fail_entry.hardware_entry_failure_reason = SVM_EXIT_ERR;
return (u32)exit_code == (u32)SVM_EXIT_ERR;
return exit_code == SVM_EXIT_ERR;
{ SVM_EXIT_ERR, "invalid_guest_state" }
GUEST_ASSERT(svm->vmcb->control.exit_code == SVM_EXIT_ERR);
GUEST_ASSERT_EQ(vmcb->control.exit_code, SVM_EXIT_ERR);