EXIT_REASON_TRIPLE_FAULT
{ EXIT_REASON_TRIPLE_FAULT, "TRIPLE_FAULT" }, \
if ((u16)vm_exit_reason == EXIT_REASON_TRIPLE_FAULT ||
nested_vmx_vmexit(vcpu, EXIT_REASON_TRIPLE_FAULT, 0, 0);
case EXIT_REASON_TRIPLE_FAULT:
exit_reason.basic != EXIT_REASON_TRIPLE_FAULT) {
WARN_ON_ONCE(exit_reason.basic != EXIT_REASON_TRIPLE_FAULT &&
case EXIT_REASON_TRIPLE_FAULT:
[EXIT_REASON_TRIPLE_FAULT] = handle_triple_fault,
nested_vmx_vmexit(vcpu, EXIT_REASON_TRIPLE_FAULT, 0, 0);
{ EXIT_REASON_TRIPLE_FAULT, "TRIPLE_FAULT" }, \
GUEST_ASSERT_EQ(vmreadz(VM_EXIT_REASON), EXIT_REASON_TRIPLE_FAULT);
GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_TRIPLE_FAULT);
GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_TRIPLE_FAULT);