}
+
#ifdef V3_CONFIG_TELEMETRY
if (info->vm_info->enable_telemetry) {
v3_telemetry_start_exit(info);
PrintError("Page fault in unimplemented paging mode\n");
return -1;
}
+ } else if ((uint8_t)exit_info->int_info == 2) {
+ // NMI. Don't do anything
+ V3_Print("NMI Exception Received\n");
} else {
PrintError("Unknown exception: 0x%x\n", (uint8_t)exit_info->int_info);
v3_print_GPRs(info);
// This is handled in the atomic part of the vmx code,
// not in the generic (interruptable) vmx handler
break;
-
+ case VMEXIT_EXPIRED_PREEMPT_TIMER:
+ V3_Print("VMX Preempt Timer Expired.\n");
+ // This just forces an exit and is handled outside the switch
+ break;
default:
PrintError("Unhandled VMEXIT: %s (%u), %lu (0x%lx)\n",