2 * This file is part of the Palacios Virtual Machine Monitor developed
3 * by the V3VEE Project with funding from the United States National
4 * Science Foundation and the Department of Energy.
6 * The V3VEE Project is a joint project between Northwestern University
7 * and the University of New Mexico. You can find out more at
10 * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
11 * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
12 * All rights reserved.
14 * Author: Jack Lange <jarusl@cs.northwestern.edu>
16 * This is free software. You are permitted to use,
17 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
21 #include <palacios/svm_handler.h>
22 #include <palacios/vmm.h>
23 #include <palacios/vm_guest_mem.h>
24 #include <palacios/vmm_decoder.h>
25 #include <palacios/vmm_ctrl_regs.h>
26 #include <palacios/svm_io.h>
27 #include <palacios/svm_halt.h>
28 #include <palacios/svm_pause.h>
29 #include <palacios/svm_wbinvd.h>
30 #include <palacios/vmm_intr.h>
31 #include <palacios/vmm_emulator.h>
32 #include <palacios/svm_msr.h>
33 #include <palacios/vmm_profiler.h>
38 int v3_handle_svm_exit(struct guest_info * info) {
39 vmcb_ctrl_t * guest_ctrl = 0;
40 vmcb_saved_state_t * guest_state = 0;
41 ulong_t exit_code = 0;
43 guest_ctrl = GET_VMCB_CTRL_AREA((vmcb_t*)(info->vmm_data));
44 guest_state = GET_VMCB_SAVE_STATE_AREA((vmcb_t*)(info->vmm_data));
47 // Update the high level state
48 info->rip = guest_state->rip;
49 info->vm_regs.rsp = guest_state->rsp;
50 info->vm_regs.rax = guest_state->rax;
52 info->cpl = guest_state->cpl;
55 info->ctrl_regs.cr0 = guest_state->cr0;
56 info->ctrl_regs.cr2 = guest_state->cr2;
57 info->ctrl_regs.cr3 = guest_state->cr3;
58 info->ctrl_regs.cr4 = guest_state->cr4;
59 info->dbg_regs.dr6 = guest_state->dr6;
60 info->dbg_regs.dr7 = guest_state->dr7;
61 info->ctrl_regs.cr8 = guest_ctrl->guest_ctrl.V_TPR;
62 info->ctrl_regs.rflags = guest_state->rflags;
63 info->ctrl_regs.efer = guest_state->efer;
65 get_vmcb_segments((vmcb_t*)(info->vmm_data), &(info->segments));
66 info->cpu_mode = v3_get_cpu_mode(info);
67 info->mem_mode = v3_get_mem_mode(info);
70 exit_code = guest_ctrl->exit_code;
76 // Disable printing io exits due to bochs debug messages
77 //if (!((exit_code == VMEXIT_IOIO) && ((ushort_t)(guest_ctrl->exit_info1 >> 16) == 0x402))) {
80 // PrintDebug("SVM Returned: Exit Code: 0x%x \t\t(tsc=%ul)\n",exit_code, (uint_t)info->time_state.guest_tsc);
82 if ((0) && (exit_code < 0x4f)) {
85 // Dump out the instr stream
87 //PrintDebug("RIP: %x\n", guest_state->rip);
88 PrintDebug("RIP Linear: %p\n", (void *)get_addr_linear(info, info->rip, &(info->segments.cs)));
90 // OK, now we will read the instruction
91 // The only difference between PROTECTED and PROTECTED_PG is whether we read
92 // from guest_pa or guest_va
93 if (info->mem_mode == PHYSICAL_MEM) {
94 // The real rip address is actually a combination of the rip + CS base
95 ret = read_guest_pa_memory(info, get_addr_linear(info, info->rip, &(info->segments.cs)), 32, instr);
97 ret = read_guest_va_memory(info, get_addr_linear(info, info->rip, &(info->segments.cs)), 32, instr);
101 // I think we should inject a GPF into the guest
102 PrintDebug("Could not read instruction (ret=%d)\n", ret);
105 PrintDebug("Instr Stream:\n");
106 PrintTraceMemDump(instr, 32);
112 if (info->enable_profiler) {
113 rdtscll(info->profiler.start_time);
117 //PrintDebug("SVM Returned: Exit Code: %x\n",exit_code);
123 struct svm_io_info * io_info = (struct svm_io_info *)&(guest_ctrl->exit_info1);
125 if (io_info->type == 0) {
127 if (v3_handle_svm_io_outs(info) == -1 ) {
131 if (v3_handle_svm_io_out(info) == -1) {
137 if (v3_handle_svm_io_ins(info) == -1) {
141 if (v3_handle_svm_io_in(info) == -1) {
151 if (guest_ctrl->exit_info1 == 0) {
152 if (v3_handle_msr_read(info) == -1) {
155 } else if (guest_ctrl->exit_info1 == 1) {
156 if (v3_handle_msr_write(info) == -1) {
160 PrintError("Invalid MSR Operation\n");
166 case VMEXIT_CR0_WRITE:
168 #ifdef DEBUG_CTRL_REGS
169 PrintDebug("CR0 Write\n");
171 if (v3_handle_cr0_write(info) == -1) {
176 case VMEXIT_CR0_READ:
178 #ifdef DEBUG_CTRL_REGS
179 PrintDebug("CR0 Read\n");
181 if (v3_handle_cr0_read(info) == -1) {
186 case VMEXIT_CR3_WRITE:
188 #ifdef DEBUG_CTRL_REGS
189 PrintDebug("CR3 Write\n");
191 if (v3_handle_cr3_write(info) == -1) {
196 case VMEXIT_CR3_READ:
198 #ifdef DEBUG_CTRL_REGS
199 PrintDebug("CR3 Read\n");
201 if (v3_handle_cr3_read(info) == -1) {
206 case VMEXIT_CR4_WRITE:
208 #ifdef DEBUG_CTRL_REGS
209 PrintDebug("CR4 Write\n");
211 if (v3_handle_cr4_write(info) == -1) {
216 case VMEXIT_CR4_READ:
218 #ifdef DEBUG_CTRL_REGS
219 PrintDebug("CR4 Read\n");
221 if (v3_handle_cr4_read(info) == -1) {
229 addr_t fault_addr = guest_ctrl->exit_info2;
230 pf_error_t * error_code = (pf_error_t *)&(guest_ctrl->exit_info1);
231 #ifdef DEBUG_SHADOW_PAGING
232 PrintDebug("PageFault at %p (error=%d)\n",
233 (void *)fault_addr, *(uint_t *)error_code);
235 if (info->shdw_pg_mode == SHADOW_PAGING) {
236 if (v3_handle_shadow_pagefault(info, fault_addr, *error_code) == -1) {
240 PrintError("Page fault in un implemented paging mode\n");
247 PrintError("Currently unhandled Nested Page Fault\n");
254 if (info->shdw_pg_mode == SHADOW_PAGING) {
255 #ifdef DEBUG_SHADOW_PAGING
256 PrintDebug("Invlpg\n");
258 if (v3_handle_shadow_invlpg(info) == -1) {
264 (exit_code == VMEXIT_INVLPGA) ||
270 // handled by interrupt dispatch earlier
275 // handle_svm_smi(info); // ignored for now
281 PrintDebug("Guest halted\n");
283 if (v3_handle_svm_halt(info) == -1) {
289 //PrintDebug("Guest paused\n");
290 if (v3_handle_svm_pause(info) == -1) {
298 // Emulation handlers currently not used
301 #ifdef DEBUG_EMULATOR
302 PrintDebug("DEBUG EXCEPTION\n");
304 if (info->run_state == VM_EMULATING) {
305 if (v3_emulation_exit_handler(info) == -1) {
309 PrintError("VMMCALL with not emulator...\n");
318 #ifdef DEBUG_EMULATOR
319 PrintDebug("VMMCALL\n");
321 if (info->run_state == VM_EMULATING) {
322 if (v3_emulation_exit_handler(info) == -1) {
327 ulong_t tsc_spread = 0;
328 ullong_t exit_tsc = 0;
330 ulong_t rax = (ulong_t)info->vm_regs.rbx;
331 ulong_t rdx = (ulong_t)info->vm_regs.rcx;
333 *(ulong_t *)(&exit_tsc) = rax;
334 *(((ulong_t *)(&exit_tsc)) + 1) = rdx;
336 tsc_spread = info->exit_tsc - exit_tsc;
338 PrintError("VMMCALL tsc diff = %lu\n",tsc_spread);
341 PrintError("VMMCALL with not emulator...\n");
351 #ifdef DEBUG_EMULATOR
352 PrintDebug("WBINVD\n");
354 if (!v3_handle_svm_wbinvd(info)) {
363 /* Exits Following this line are NOT HANDLED */
364 /*=======================================================================*/
372 PrintDebug("Unhandled SVM Exit: %s\n", vmexit_code_to_str(exit_code));
374 rip_addr = get_addr_linear(info, guest_state->rip, &(info->segments.cs));
377 PrintError("SVM Returned:(VMCB=%p)\n", (void *)(info->vmm_data));
378 PrintError("RIP: %p\n", (void *)(addr_t)(guest_state->rip));
379 PrintError("RIP Linear: %p\n", (void *)(addr_t)(rip_addr));
381 PrintError("SVM Returned: Exit Code: %p\n", (void *)(addr_t)exit_code);
383 PrintError("io_info1 low = 0x%.8x\n", *(uint_t*)&(guest_ctrl->exit_info1));
384 PrintError("io_info1 high = 0x%.8x\n", *(uint_t *)(((uchar_t *)&(guest_ctrl->exit_info1)) + 4));
386 PrintError("io_info2 low = 0x%.8x\n", *(uint_t*)&(guest_ctrl->exit_info2));
387 PrintError("io_info2 high = 0x%.8x\n", *(uint_t *)(((uchar_t *)&(guest_ctrl->exit_info2)) + 4));
391 if (info->mem_mode == PHYSICAL_MEM) {
392 if (guest_pa_to_host_va(info, guest_state->rip, &host_addr) == -1) {
393 PrintError("Could not translate guest_state->rip to host address\n");
396 } else if (info->mem_mode == VIRTUAL_MEM) {
397 if (guest_va_to_host_va(info, guest_state->rip, &host_addr) == -1) {
398 PrintError("Could not translate guest_state->rip to host address\n");
402 PrintError("Invalid memory mode\n");
406 PrintError("Host Address of rip = 0x%p\n", (void *)host_addr);
410 PrintError("Reading instruction stream in guest (addr=%p)\n", (void *)rip_addr);
412 if (info->mem_mode == PHYSICAL_MEM) {
413 read_guest_pa_memory(info, rip_addr - 16, 32, buf);
415 read_guest_va_memory(info, rip_addr - 16, 32, buf);
418 PrintDebug("16 bytes before Rip\n");
419 PrintTraceMemDump(buf, 16);
420 PrintDebug("Rip onward\n");
421 PrintTraceMemDump(buf+16, 16);
429 // END OF SWITCH (EXIT_CODE)
432 if (info->enable_profiler) {
433 rdtscll(info->profiler.end_time);
434 v3_profile_exit(info, exit_code);
439 // Update the low level state
441 if (v3_intr_pending(info)) {
443 switch (v3_get_intr_type(info)) {
446 uint_t irq = v3_get_intr_number(info);
448 // check to see if ==-1 (non exists)
451 guest_ctrl->EVENTINJ.vector = irq;
452 guest_ctrl->EVENTINJ.valid = 1;
453 guest_ctrl->EVENTINJ.type = SVM_INJECTION_EXTERNAL_INTR;
456 guest_ctrl->guest_ctrl.V_IRQ = 1;
457 guest_ctrl->guest_ctrl.V_INTR_VECTOR = irq;
458 guest_ctrl->guest_ctrl.V_IGN_TPR = 1;
459 guest_ctrl->guest_ctrl.V_INTR_PRIO = 0xf;
460 #ifdef DEBUG_INTERRUPTS
461 PrintDebug("Injecting Interrupt %d (EIP=%p)\n",
462 guest_ctrl->guest_ctrl.V_INTR_VECTOR,
463 (void *)(addr_t)info->rip);
465 v3_injecting_intr(info, irq, EXTERNAL_IRQ);
470 guest_ctrl->EVENTINJ.type = SVM_INJECTION_NMI;
474 uint_t excp = v3_get_intr_number(info);
476 guest_ctrl->EVENTINJ.type = SVM_INJECTION_EXCEPTION;
478 if (info->intr_state.excp_error_code_valid) { //PAD
479 guest_ctrl->EVENTINJ.error_code = info->intr_state.excp_error_code;
480 guest_ctrl->EVENTINJ.ev = 1;
481 #ifdef DEBUG_INTERRUPTS
482 PrintDebug("Injecting error code %x\n", guest_ctrl->EVENTINJ.error_code);
486 guest_ctrl->EVENTINJ.vector = excp;
488 guest_ctrl->EVENTINJ.valid = 1;
489 #ifdef DEBUG_INTERRUPTS
490 PrintDebug("Injecting Interrupt %d (EIP=%p)\n",
491 guest_ctrl->EVENTINJ.vector,
492 (void *)(addr_t)info->rip);
494 v3_injecting_intr(info, excp, EXCEPTION);
498 guest_ctrl->EVENTINJ.type = SVM_INJECTION_SOFT_INTR;
501 guest_ctrl->EVENTINJ.type = SVM_INJECTION_VIRTUAL_INTR;
506 PrintError("Attempted to issue an invalid interrupt\n");
511 #ifdef DEBUG_INTERRUPTS
512 PrintDebug("No interrupts/exceptions pending\n");
516 guest_state->cr0 = info->ctrl_regs.cr0;
517 guest_state->cr2 = info->ctrl_regs.cr2;
518 guest_state->cr3 = info->ctrl_regs.cr3;
519 guest_state->cr4 = info->ctrl_regs.cr4;
520 guest_state->dr6 = info->dbg_regs.dr6;
521 guest_state->dr7 = info->dbg_regs.dr7;
522 guest_ctrl->guest_ctrl.V_TPR = info->ctrl_regs.cr8 & 0xff;
523 guest_state->rflags = info->ctrl_regs.rflags;
524 guest_state->efer = info->ctrl_regs.efer;
526 guest_state->cpl = info->cpl;
528 guest_state->rax = info->vm_regs.rax;
529 guest_state->rip = info->rip;
530 guest_state->rsp = info->vm_regs.rsp;
533 set_vmcb_segments((vmcb_t*)(info->vmm_data), &(info->segments));
535 if (exit_code == VMEXIT_INTR) {
536 //PrintDebug("INTR ret IP = %x\n", guest_state->rip);
543 static const char VMEXIT_CR0_READ_STR[] = "VMEXIT_CR0_READ";
544 static const char VMEXIT_CR1_READ_STR[] = "VMEXIT_CR1_READ";
545 static const char VMEXIT_CR2_READ_STR[] = "VMEXIT_CR2_READ";
546 static const char VMEXIT_CR3_READ_STR[] = "VMEXIT_CR3_READ";
547 static const char VMEXIT_CR4_READ_STR[] = "VMEXIT_CR4_READ";
548 static const char VMEXIT_CR5_READ_STR[] = "VMEXIT_CR5_READ";
549 static const char VMEXIT_CR6_READ_STR[] = "VMEXIT_CR6_READ";
550 static const char VMEXIT_CR7_READ_STR[] = "VMEXIT_CR7_READ";
551 static const char VMEXIT_CR8_READ_STR[] = "VMEXIT_CR8_READ";
552 static const char VMEXIT_CR9_READ_STR[] = "VMEXIT_CR9_READ";
553 static const char VMEXIT_CR10_READ_STR[] = "VMEXIT_CR10_READ";
554 static const char VMEXIT_CR11_READ_STR[] = "VMEXIT_CR11_READ";
555 static const char VMEXIT_CR12_READ_STR[] = "VMEXIT_CR12_READ";
556 static const char VMEXIT_CR13_READ_STR[] = "VMEXIT_CR13_READ";
557 static const char VMEXIT_CR14_READ_STR[] = "VMEXIT_CR14_READ";
558 static const char VMEXIT_CR15_READ_STR[] = "VMEXIT_CR15_READ";
559 static const char VMEXIT_CR0_WRITE_STR[] = "VMEXIT_CR0_WRITE";
560 static const char VMEXIT_CR1_WRITE_STR[] = "VMEXIT_CR1_WRITE";
561 static const char VMEXIT_CR2_WRITE_STR[] = "VMEXIT_CR2_WRITE";
562 static const char VMEXIT_CR3_WRITE_STR[] = "VMEXIT_CR3_WRITE";
563 static const char VMEXIT_CR4_WRITE_STR[] = "VMEXIT_CR4_WRITE";
564 static const char VMEXIT_CR5_WRITE_STR[] = "VMEXIT_CR5_WRITE";
565 static const char VMEXIT_CR6_WRITE_STR[] = "VMEXIT_CR6_WRITE";
566 static const char VMEXIT_CR7_WRITE_STR[] = "VMEXIT_CR7_WRITE";
567 static const char VMEXIT_CR8_WRITE_STR[] = "VMEXIT_CR8_WRITE";
568 static const char VMEXIT_CR9_WRITE_STR[] = "VMEXIT_CR9_WRITE";
569 static const char VMEXIT_CR10_WRITE_STR[] = "VMEXIT_CR10_WRITE";
570 static const char VMEXIT_CR11_WRITE_STR[] = "VMEXIT_CR11_WRITE";
571 static const char VMEXIT_CR12_WRITE_STR[] = "VMEXIT_CR12_WRITE";
572 static const char VMEXIT_CR13_WRITE_STR[] = "VMEXIT_CR13_WRITE";
573 static const char VMEXIT_CR14_WRITE_STR[] = "VMEXIT_CR14_WRITE";
574 static const char VMEXIT_CR15_WRITE_STR[] = "VMEXIT_CR15_WRITE";
575 static const char VMEXIT_DR0_READ_STR[] = "VMEXIT_DR0_READ";
576 static const char VMEXIT_DR1_READ_STR[] = "VMEXIT_DR1_READ";
577 static const char VMEXIT_DR2_READ_STR[] = "VMEXIT_DR2_READ";
578 static const char VMEXIT_DR3_READ_STR[] = "VMEXIT_DR3_READ";
579 static const char VMEXIT_DR4_READ_STR[] = "VMEXIT_DR4_READ";
580 static const char VMEXIT_DR5_READ_STR[] = "VMEXIT_DR5_READ";
581 static const char VMEXIT_DR6_READ_STR[] = "VMEXIT_DR6_READ";
582 static const char VMEXIT_DR7_READ_STR[] = "VMEXIT_DR7_READ";
583 static const char VMEXIT_DR8_READ_STR[] = "VMEXIT_DR8_READ";
584 static const char VMEXIT_DR9_READ_STR[] = "VMEXIT_DR9_READ";
585 static const char VMEXIT_DR10_READ_STR[] = "VMEXIT_DR10_READ";
586 static const char VMEXIT_DR11_READ_STR[] = "VMEXIT_DR11_READ";
587 static const char VMEXIT_DR12_READ_STR[] = "VMEXIT_DR12_READ";
588 static const char VMEXIT_DR13_READ_STR[] = "VMEXIT_DR13_READ";
589 static const char VMEXIT_DR14_READ_STR[] = "VMEXIT_DR14_READ";
590 static const char VMEXIT_DR15_READ_STR[] = "VMEXIT_DR15_READ";
591 static const char VMEXIT_DR0_WRITE_STR[] = "VMEXIT_DR0_WRITE";
592 static const char VMEXIT_DR1_WRITE_STR[] = "VMEXIT_DR1_WRITE";
593 static const char VMEXIT_DR2_WRITE_STR[] = "VMEXIT_DR2_WRITE";
594 static const char VMEXIT_DR3_WRITE_STR[] = "VMEXIT_DR3_WRITE";
595 static const char VMEXIT_DR4_WRITE_STR[] = "VMEXIT_DR4_WRITE";
596 static const char VMEXIT_DR5_WRITE_STR[] = "VMEXIT_DR5_WRITE";
597 static const char VMEXIT_DR6_WRITE_STR[] = "VMEXIT_DR6_WRITE";
598 static const char VMEXIT_DR7_WRITE_STR[] = "VMEXIT_DR7_WRITE";
599 static const char VMEXIT_DR8_WRITE_STR[] = "VMEXIT_DR8_WRITE";
600 static const char VMEXIT_DR9_WRITE_STR[] = "VMEXIT_DR9_WRITE";
601 static const char VMEXIT_DR10_WRITE_STR[] = "VMEXIT_DR10_WRITE";
602 static const char VMEXIT_DR11_WRITE_STR[] = "VMEXIT_DR11_WRITE";
603 static const char VMEXIT_DR12_WRITE_STR[] = "VMEXIT_DR12_WRITE";
604 static const char VMEXIT_DR13_WRITE_STR[] = "VMEXIT_DR13_WRITE";
605 static const char VMEXIT_DR14_WRITE_STR[] = "VMEXIT_DR14_WRITE";
606 static const char VMEXIT_DR15_WRITE_STR[] = "VMEXIT_DR15_WRITE";
607 static const char VMEXIT_EXCP0_STR[] = "VMEXIT_EXCP0";
608 static const char VMEXIT_EXCP1_STR[] = "VMEXIT_EXCP1";
609 static const char VMEXIT_EXCP2_STR[] = "VMEXIT_EXCP2";
610 static const char VMEXIT_EXCP3_STR[] = "VMEXIT_EXCP3";
611 static const char VMEXIT_EXCP4_STR[] = "VMEXIT_EXCP4";
612 static const char VMEXIT_EXCP5_STR[] = "VMEXIT_EXCP5";
613 static const char VMEXIT_EXCP6_STR[] = "VMEXIT_EXCP6";
614 static const char VMEXIT_EXCP7_STR[] = "VMEXIT_EXCP7";
615 static const char VMEXIT_EXCP8_STR[] = "VMEXIT_EXCP8";
616 static const char VMEXIT_EXCP9_STR[] = "VMEXIT_EXCP9";
617 static const char VMEXIT_EXCP10_STR[] = "VMEXIT_EXCP10";
618 static const char VMEXIT_EXCP11_STR[] = "VMEXIT_EXCP11";
619 static const char VMEXIT_EXCP12_STR[] = "VMEXIT_EXCP12";
620 static const char VMEXIT_EXCP13_STR[] = "VMEXIT_EXCP13";
621 static const char VMEXIT_EXCP14_STR[] = "VMEXIT_EXCP14";
622 static const char VMEXIT_EXCP15_STR[] = "VMEXIT_EXCP15";
623 static const char VMEXIT_EXCP16_STR[] = "VMEXIT_EXCP16";
624 static const char VMEXIT_EXCP17_STR[] = "VMEXIT_EXCP17";
625 static const char VMEXIT_EXCP18_STR[] = "VMEXIT_EXCP18";
626 static const char VMEXIT_EXCP19_STR[] = "VMEXIT_EXCP19";
627 static const char VMEXIT_EXCP20_STR[] = "VMEXIT_EXCP20";
628 static const char VMEXIT_EXCP21_STR[] = "VMEXIT_EXCP21";
629 static const char VMEXIT_EXCP22_STR[] = "VMEXIT_EXCP22";
630 static const char VMEXIT_EXCP23_STR[] = "VMEXIT_EXCP23";
631 static const char VMEXIT_EXCP24_STR[] = "VMEXIT_EXCP24";
632 static const char VMEXIT_EXCP25_STR[] = "VMEXIT_EXCP25";
633 static const char VMEXIT_EXCP26_STR[] = "VMEXIT_EXCP26";
634 static const char VMEXIT_EXCP27_STR[] = "VMEXIT_EXCP27";
635 static const char VMEXIT_EXCP28_STR[] = "VMEXIT_EXCP28";
636 static const char VMEXIT_EXCP29_STR[] = "VMEXIT_EXCP29";
637 static const char VMEXIT_EXCP30_STR[] = "VMEXIT_EXCP30";
638 static const char VMEXIT_EXCP31_STR[] = "VMEXIT_EXCP31";
639 static const char VMEXIT_INTR_STR[] = "VMEXIT_INTR";
640 static const char VMEXIT_NMI_STR[] = "VMEXIT_NMI";
641 static const char VMEXIT_SMI_STR[] = "VMEXIT_SMI";
642 static const char VMEXIT_INIT_STR[] = "VMEXIT_INIT";
643 static const char VMEXIT_VINITR_STR[] = "VMEXIT_VINITR";
644 static const char VMEXIT_CR0_SEL_WRITE_STR[] = "VMEXIT_CR0_SEL_WRITE";
645 static const char VMEXIT_IDTR_READ_STR[] = "VMEXIT_IDTR_READ";
646 static const char VMEXIT_GDTR_READ_STR[] = "VMEXIT_GDTR_READ";
647 static const char VMEXIT_LDTR_READ_STR[] = "VMEXIT_LDTR_READ";
648 static const char VMEXIT_TR_READ_STR[] = "VMEXIT_TR_READ";
649 static const char VMEXIT_IDTR_WRITE_STR[] = "VMEXIT_IDTR_WRITE";
650 static const char VMEXIT_GDTR_WRITE_STR[] = "VMEXIT_GDTR_WRITE";
651 static const char VMEXIT_LDTR_WRITE_STR[] = "VMEXIT_LDTR_WRITE";
652 static const char VMEXIT_TR_WRITE_STR[] = "VMEXIT_TR_WRITE";
653 static const char VMEXIT_RDTSC_STR[] = "VMEXIT_RDTSC";
654 static const char VMEXIT_RDPMC_STR[] = "VMEXIT_RDPMC";
655 static const char VMEXIT_PUSHF_STR[] = "VMEXIT_PUSHF";
656 static const char VMEXIT_POPF_STR[] = "VMEXIT_POPF";
657 static const char VMEXIT_CPUID_STR[] = "VMEXIT_CPUID";
658 static const char VMEXIT_RSM_STR[] = "VMEXIT_RSM";
659 static const char VMEXIT_IRET_STR[] = "VMEXIT_IRET";
660 static const char VMEXIT_SWINT_STR[] = "VMEXIT_SWINT";
661 static const char VMEXIT_INVD_STR[] = "VMEXIT_INVD";
662 static const char VMEXIT_PAUSE_STR[] = "VMEXIT_PAUSE";
663 static const char VMEXIT_HLT_STR[] = "VMEXIT_HLT";
664 static const char VMEXIT_INVLPG_STR[] = "VMEXIT_INVLPG";
665 static const char VMEXIT_INVLPGA_STR[] = "VMEXIT_INVLPGA";
666 static const char VMEXIT_IOIO_STR[] = "VMEXIT_IOIO";
667 static const char VMEXIT_MSR_STR[] = "VMEXIT_MSR";
668 static const char VMEXIT_TASK_SWITCH_STR[] = "VMEXIT_TASK_SWITCH";
669 static const char VMEXIT_FERR_FREEZE_STR[] = "VMEXIT_FERR_FREEZE";
670 static const char VMEXIT_SHUTDOWN_STR[] = "VMEXIT_SHUTDOWN";
671 static const char VMEXIT_VMRUN_STR[] = "VMEXIT_VMRUN";
672 static const char VMEXIT_VMMCALL_STR[] = "VMEXIT_VMMCALL";
673 static const char VMEXIT_VMLOAD_STR[] = "VMEXIT_VMLOAD";
674 static const char VMEXIT_VMSAVE_STR[] = "VMEXIT_VMSAVE";
675 static const char VMEXIT_STGI_STR[] = "VMEXIT_STGI";
676 static const char VMEXIT_CLGI_STR[] = "VMEXIT_CLGI";
677 static const char VMEXIT_SKINIT_STR[] = "VMEXIT_SKINIT";
678 static const char VMEXIT_RDTSCP_STR[] = "VMEXIT_RDTSCP";
679 static const char VMEXIT_ICEBP_STR[] = "VMEXIT_ICEBP";
680 static const char VMEXIT_WBINVD_STR[] = "VMEXIT_WBINVD";
681 static const char VMEXIT_MONITOR_STR[] = "VMEXIT_MONITOR";
682 static const char VMEXIT_MWAIT_STR[] = "VMEXIT_MWAIT";
683 static const char VMEXIT_MWAIT_CONDITIONAL_STR[] = "VMEXIT_MWAIT_CONDITIONAL";
684 static const char VMEXIT_NPF_STR[] = "VMEXIT_NPF";
685 static const char VMEXIT_INVALID_VMCB_STR[] = "VMEXIT_INVALID_VMCB";
689 const char * vmexit_code_to_str(uint_t exit_code) {
691 case VMEXIT_CR0_READ:
692 return VMEXIT_CR0_READ_STR;
693 case VMEXIT_CR1_READ:
694 return VMEXIT_CR1_READ_STR;
695 case VMEXIT_CR2_READ:
696 return VMEXIT_CR2_READ_STR;
697 case VMEXIT_CR3_READ:
698 return VMEXIT_CR3_READ_STR;
699 case VMEXIT_CR4_READ:
700 return VMEXIT_CR4_READ_STR;
701 case VMEXIT_CR5_READ:
702 return VMEXIT_CR5_READ_STR;
703 case VMEXIT_CR6_READ:
704 return VMEXIT_CR6_READ_STR;
705 case VMEXIT_CR7_READ:
706 return VMEXIT_CR7_READ_STR;
707 case VMEXIT_CR8_READ:
708 return VMEXIT_CR8_READ_STR;
709 case VMEXIT_CR9_READ:
710 return VMEXIT_CR9_READ_STR;
711 case VMEXIT_CR10_READ:
712 return VMEXIT_CR10_READ_STR;
713 case VMEXIT_CR11_READ:
714 return VMEXIT_CR11_READ_STR;
715 case VMEXIT_CR12_READ:
716 return VMEXIT_CR12_READ_STR;
717 case VMEXIT_CR13_READ:
718 return VMEXIT_CR13_READ_STR;
719 case VMEXIT_CR14_READ:
720 return VMEXIT_CR14_READ_STR;
721 case VMEXIT_CR15_READ:
722 return VMEXIT_CR15_READ_STR;
723 case VMEXIT_CR0_WRITE:
724 return VMEXIT_CR0_WRITE_STR;
725 case VMEXIT_CR1_WRITE:
726 return VMEXIT_CR1_WRITE_STR;
727 case VMEXIT_CR2_WRITE:
728 return VMEXIT_CR2_WRITE_STR;
729 case VMEXIT_CR3_WRITE:
730 return VMEXIT_CR3_WRITE_STR;
731 case VMEXIT_CR4_WRITE:
732 return VMEXIT_CR4_WRITE_STR;
733 case VMEXIT_CR5_WRITE:
734 return VMEXIT_CR5_WRITE_STR;
735 case VMEXIT_CR6_WRITE:
736 return VMEXIT_CR6_WRITE_STR;
737 case VMEXIT_CR7_WRITE:
738 return VMEXIT_CR7_WRITE_STR;
739 case VMEXIT_CR8_WRITE:
740 return VMEXIT_CR8_WRITE_STR;
741 case VMEXIT_CR9_WRITE:
742 return VMEXIT_CR9_WRITE_STR;
743 case VMEXIT_CR10_WRITE:
744 return VMEXIT_CR10_WRITE_STR;
745 case VMEXIT_CR11_WRITE:
746 return VMEXIT_CR11_WRITE_STR;
747 case VMEXIT_CR12_WRITE:
748 return VMEXIT_CR12_WRITE_STR;
749 case VMEXIT_CR13_WRITE:
750 return VMEXIT_CR13_WRITE_STR;
751 case VMEXIT_CR14_WRITE:
752 return VMEXIT_CR14_WRITE_STR;
753 case VMEXIT_CR15_WRITE:
754 return VMEXIT_CR15_WRITE_STR;
755 case VMEXIT_DR0_READ:
756 return VMEXIT_DR0_READ_STR;
757 case VMEXIT_DR1_READ:
758 return VMEXIT_DR1_READ_STR;
759 case VMEXIT_DR2_READ:
760 return VMEXIT_DR2_READ_STR;
761 case VMEXIT_DR3_READ:
762 return VMEXIT_DR3_READ_STR;
763 case VMEXIT_DR4_READ:
764 return VMEXIT_DR4_READ_STR;
765 case VMEXIT_DR5_READ:
766 return VMEXIT_DR5_READ_STR;
767 case VMEXIT_DR6_READ:
768 return VMEXIT_DR6_READ_STR;
769 case VMEXIT_DR7_READ:
770 return VMEXIT_DR7_READ_STR;
771 case VMEXIT_DR8_READ:
772 return VMEXIT_DR8_READ_STR;
773 case VMEXIT_DR9_READ:
774 return VMEXIT_DR9_READ_STR;
775 case VMEXIT_DR10_READ:
776 return VMEXIT_DR10_READ_STR;
777 case VMEXIT_DR11_READ:
778 return VMEXIT_DR11_READ_STR;
779 case VMEXIT_DR12_READ:
780 return VMEXIT_DR12_READ_STR;
781 case VMEXIT_DR13_READ:
782 return VMEXIT_DR13_READ_STR;
783 case VMEXIT_DR14_READ:
784 return VMEXIT_DR14_READ_STR;
785 case VMEXIT_DR15_READ:
786 return VMEXIT_DR15_READ_STR;
787 case VMEXIT_DR0_WRITE:
788 return VMEXIT_DR0_WRITE_STR;
789 case VMEXIT_DR1_WRITE:
790 return VMEXIT_DR1_WRITE_STR;
791 case VMEXIT_DR2_WRITE:
792 return VMEXIT_DR2_WRITE_STR;
793 case VMEXIT_DR3_WRITE:
794 return VMEXIT_DR3_WRITE_STR;
795 case VMEXIT_DR4_WRITE:
796 return VMEXIT_DR4_WRITE_STR;
797 case VMEXIT_DR5_WRITE:
798 return VMEXIT_DR5_WRITE_STR;
799 case VMEXIT_DR6_WRITE:
800 return VMEXIT_DR6_WRITE_STR;
801 case VMEXIT_DR7_WRITE:
802 return VMEXIT_DR7_WRITE_STR;
803 case VMEXIT_DR8_WRITE:
804 return VMEXIT_DR8_WRITE_STR;
805 case VMEXIT_DR9_WRITE:
806 return VMEXIT_DR9_WRITE_STR;
807 case VMEXIT_DR10_WRITE:
808 return VMEXIT_DR10_WRITE_STR;
809 case VMEXIT_DR11_WRITE:
810 return VMEXIT_DR11_WRITE_STR;
811 case VMEXIT_DR12_WRITE:
812 return VMEXIT_DR12_WRITE_STR;
813 case VMEXIT_DR13_WRITE:
814 return VMEXIT_DR13_WRITE_STR;
815 case VMEXIT_DR14_WRITE:
816 return VMEXIT_DR14_WRITE_STR;
817 case VMEXIT_DR15_WRITE:
818 return VMEXIT_DR15_WRITE_STR;
820 return VMEXIT_EXCP0_STR;
822 return VMEXIT_EXCP1_STR;
824 return VMEXIT_EXCP2_STR;
826 return VMEXIT_EXCP3_STR;
828 return VMEXIT_EXCP4_STR;
830 return VMEXIT_EXCP5_STR;
832 return VMEXIT_EXCP6_STR;
834 return VMEXIT_EXCP7_STR;
836 return VMEXIT_EXCP8_STR;
838 return VMEXIT_EXCP9_STR;
840 return VMEXIT_EXCP10_STR;
842 return VMEXIT_EXCP11_STR;
844 return VMEXIT_EXCP12_STR;
846 return VMEXIT_EXCP13_STR;
848 return VMEXIT_EXCP14_STR;
850 return VMEXIT_EXCP15_STR;
852 return VMEXIT_EXCP16_STR;
854 return VMEXIT_EXCP17_STR;
856 return VMEXIT_EXCP18_STR;
858 return VMEXIT_EXCP19_STR;
860 return VMEXIT_EXCP20_STR;
862 return VMEXIT_EXCP21_STR;
864 return VMEXIT_EXCP22_STR;
866 return VMEXIT_EXCP23_STR;
868 return VMEXIT_EXCP24_STR;
870 return VMEXIT_EXCP25_STR;
872 return VMEXIT_EXCP26_STR;
874 return VMEXIT_EXCP27_STR;
876 return VMEXIT_EXCP28_STR;
878 return VMEXIT_EXCP29_STR;
880 return VMEXIT_EXCP30_STR;
882 return VMEXIT_EXCP31_STR;
884 return VMEXIT_INTR_STR;
886 return VMEXIT_NMI_STR;
888 return VMEXIT_SMI_STR;
890 return VMEXIT_INIT_STR;
892 return VMEXIT_VINITR_STR;
893 case VMEXIT_CR0_SEL_WRITE:
894 return VMEXIT_CR0_SEL_WRITE_STR;
895 case VMEXIT_IDTR_READ:
896 return VMEXIT_IDTR_READ_STR;
897 case VMEXIT_GDTR_READ:
898 return VMEXIT_GDTR_READ_STR;
899 case VMEXIT_LDTR_READ:
900 return VMEXIT_LDTR_READ_STR;
902 return VMEXIT_TR_READ_STR;
903 case VMEXIT_IDTR_WRITE:
904 return VMEXIT_IDTR_WRITE_STR;
905 case VMEXIT_GDTR_WRITE:
906 return VMEXIT_GDTR_WRITE_STR;
907 case VMEXIT_LDTR_WRITE:
908 return VMEXIT_LDTR_WRITE_STR;
909 case VMEXIT_TR_WRITE:
910 return VMEXIT_TR_WRITE_STR;
912 return VMEXIT_RDTSC_STR;
914 return VMEXIT_RDPMC_STR;
916 return VMEXIT_PUSHF_STR;
918 return VMEXIT_POPF_STR;
920 return VMEXIT_CPUID_STR;
922 return VMEXIT_RSM_STR;
924 return VMEXIT_IRET_STR;
926 return VMEXIT_SWINT_STR;
928 return VMEXIT_INVD_STR;
930 return VMEXIT_PAUSE_STR;
932 return VMEXIT_HLT_STR;
934 return VMEXIT_INVLPG_STR;
936 return VMEXIT_INVLPGA_STR;
938 return VMEXIT_IOIO_STR;
940 return VMEXIT_MSR_STR;
941 case VMEXIT_TASK_SWITCH:
942 return VMEXIT_TASK_SWITCH_STR;
943 case VMEXIT_FERR_FREEZE:
944 return VMEXIT_FERR_FREEZE_STR;
945 case VMEXIT_SHUTDOWN:
946 return VMEXIT_SHUTDOWN_STR;
948 return VMEXIT_VMRUN_STR;
950 return VMEXIT_VMMCALL_STR;
952 return VMEXIT_VMLOAD_STR;
954 return VMEXIT_VMSAVE_STR;
956 return VMEXIT_STGI_STR;
958 return VMEXIT_CLGI_STR;
960 return VMEXIT_SKINIT_STR;
962 return VMEXIT_RDTSCP_STR;
964 return VMEXIT_ICEBP_STR;
966 return VMEXIT_WBINVD_STR;
968 return VMEXIT_MONITOR_STR;
970 return VMEXIT_MWAIT_STR;
971 case VMEXIT_MWAIT_CONDITIONAL:
972 return VMEXIT_MWAIT_CONDITIONAL_STR;
974 return VMEXIT_NPF_STR;
975 case VMEXIT_INVALID_VMCB:
976 return VMEXIT_INVALID_VMCB_STR;