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/vmm_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_hypercall.h>
34 #include <palacios/vmm_cpuid.h>
35 #include <palacios/vmm_direct_paging.h>
37 #ifdef CONFIG_TELEMETRY
38 #include <palacios/vmm_telemetry.h>
42 int v3_handle_svm_exit(struct guest_info * info) {
43 vmcb_ctrl_t * guest_ctrl = 0;
44 vmcb_saved_state_t * guest_state = 0;
45 ulong_t exit_code = 0;
47 guest_ctrl = GET_VMCB_CTRL_AREA((vmcb_t*)(info->vmm_data));
48 guest_state = GET_VMCB_SAVE_STATE_AREA((vmcb_t*)(info->vmm_data));
50 // Update the high level state
51 info->rip = guest_state->rip;
52 info->vm_regs.rsp = guest_state->rsp;
53 info->vm_regs.rax = guest_state->rax;
55 info->cpl = guest_state->cpl;
57 info->ctrl_regs.cr0 = guest_state->cr0;
58 info->ctrl_regs.cr2 = guest_state->cr2;
59 info->ctrl_regs.cr3 = guest_state->cr3;
60 info->ctrl_regs.cr4 = guest_state->cr4;
61 info->dbg_regs.dr6 = guest_state->dr6;
62 info->dbg_regs.dr7 = guest_state->dr7;
63 info->ctrl_regs.cr8 = guest_ctrl->guest_ctrl.V_TPR;
64 info->ctrl_regs.rflags = guest_state->rflags;
65 info->ctrl_regs.efer = guest_state->efer;
67 v3_get_vmcb_segments((vmcb_t*)(info->vmm_data), &(info->segments));
68 info->cpu_mode = v3_get_vm_cpu_mode(info);
69 info->mem_mode = v3_get_vm_mem_mode(info);
71 exit_code = guest_ctrl->exit_code;
73 // PrintDebug("SVM Exit: %s (rip=%p) (info1=%p)\n", vmexit_code_to_str(exit_code),
74 // (void *)(addr_t)info->rip, (void *)(addr_t)guest_ctrl->exit_info1);
76 if ((info->intr_state.irq_pending == 1) && (guest_ctrl->guest_ctrl.V_IRQ == 0)) {
78 #ifdef CONFIG_DEBUG_INTERRUPTS
79 PrintDebug("INTAK cycle completed for irq %d\n", info->intr_state.irq_vector);
82 info->intr_state.irq_started = 1;
83 info->intr_state.irq_pending = 0;
85 v3_injecting_intr(info, info->intr_state.irq_vector, V3_EXTERNAL_IRQ);
88 if ((info->intr_state.irq_started == 1) && (guest_ctrl->exit_int_info.valid == 0)) {
89 #ifdef CONFIG_DEBUG_INTERRUPTS
90 PrintDebug("Interrupt %d taken by guest\n", info->intr_state.irq_vector);
93 // Interrupt was taken fully vectored
94 info->intr_state.irq_started = 0;
97 #ifdef CONFIG_DEBUG_INTERRUPTS
98 PrintDebug("EXIT INT INFO is set (vec=%d)\n", guest_ctrl->exit_int_info.vector);
103 #ifdef CONFIG_TELEMETRY
104 if (info->enable_telemetry) {
105 v3_telemetry_start_exit(info);
110 //PrintDebug("SVM Returned: Exit Code: %x\n",exit_code);
114 struct svm_io_info * io_info = (struct svm_io_info *)&(guest_ctrl->exit_info1);
116 if (io_info->type == 0) {
119 if (v3_handle_svm_io_outs(info) == -1 ) {
123 if (v3_handle_svm_io_out(info) == -1) {
131 if (v3_handle_svm_io_ins(info) == -1) {
135 if (v3_handle_svm_io_in(info) == -1) {
144 if (guest_ctrl->exit_info1 == 0) {
145 if (v3_handle_msr_read(info) == -1) {
148 } else if (guest_ctrl->exit_info1 == 1) {
149 if (v3_handle_msr_write(info) == -1) {
153 PrintError("Invalid MSR Operation\n");
160 if (v3_handle_cpuid(info) == -1) {
161 PrintError("Error handling CPUID\n");
166 case VMEXIT_CR0_WRITE:
167 #ifdef CONFIG_DEBUG_CTRL_REGS
168 PrintDebug("CR0 Write\n");
170 if (v3_handle_cr0_write(info) == -1) {
174 case VMEXIT_CR0_READ:
175 #ifdef CONFIG_DEBUG_CTRL_REGS
176 PrintDebug("CR0 Read\n");
178 if (v3_handle_cr0_read(info) == -1) {
182 case VMEXIT_CR3_WRITE:
183 #ifdef CONFIG_DEBUG_CTRL_REGS
184 PrintDebug("CR3 Write\n");
186 if (v3_handle_cr3_write(info) == -1) {
190 case VMEXIT_CR3_READ:
191 #ifdef CONFIG_DEBUG_CTRL_REGS
192 PrintDebug("CR3 Read\n");
194 if (v3_handle_cr3_read(info) == -1) {
198 case VMEXIT_CR4_WRITE:
199 #ifdef CONFIG_DEBUG_CTRL_REGS
200 PrintDebug("CR4 Write\n");
202 if (v3_handle_cr4_write(info) == -1) {
206 case VMEXIT_CR4_READ:
207 #ifdef CONFIG_DEBUG_CTRL_REGS
208 PrintDebug("CR4 Read\n");
210 if (v3_handle_cr4_read(info) == -1) {
214 case VMEXIT_EXCP14: {
215 addr_t fault_addr = guest_ctrl->exit_info2;
216 pf_error_t * error_code = (pf_error_t *)&(guest_ctrl->exit_info1);
217 #ifdef CONFIG_DEBUG_SHADOW_PAGING
218 PrintDebug("PageFault at %p (error=%d)\n",
219 (void *)fault_addr, *(uint_t *)error_code);
221 if (info->shdw_pg_mode == SHADOW_PAGING) {
222 if (v3_handle_shadow_pagefault(info, fault_addr, *error_code) == -1) {
226 PrintError("Page fault in un implemented paging mode\n");
232 addr_t fault_addr = guest_ctrl->exit_info2;
233 pf_error_t * error_code = (pf_error_t *)&(guest_ctrl->exit_info1);
235 if (info->shdw_pg_mode == NESTED_PAGING) {
236 if (v3_handle_nested_pagefault(info, fault_addr, *error_code) == -1) {
240 PrintError("Currently unhandled Nested Page Fault\n");
246 if (info->shdw_pg_mode == SHADOW_PAGING) {
247 #ifdef CONFIG_DEBUG_SHADOW_PAGING
248 PrintDebug("Invlpg\n");
250 if (v3_handle_shadow_invlpg(info) == -1) {
260 if (v3_handle_hypercall(info) == -1) {
264 // VMMCALL is a 3 byte op
268 // handled by interrupt dispatch earlier
271 // handle_svm_smi(info); // ignored for now
274 #ifdef CONFIG_DEBUG_HALT
275 PrintDebug("Guest halted\n");
277 if (v3_handle_halt(info) == -1) {
282 //PrintDebug("Guest paused\n");
283 if (v3_handle_svm_pause(info) == -1) {
288 #ifdef CONFIG_DEBUG_EMULATOR
289 PrintDebug("WBINVD\n");
291 if (v3_handle_svm_wbinvd(info) == -1) {
300 /* Exits Following this line are NOT HANDLED */
301 /*=======================================================================*/
307 PrintDebug("Unhandled SVM Exit: %s\n", vmexit_code_to_str(exit_code));
309 rip_addr = get_addr_linear(info, guest_state->rip, &(info->segments.cs));
312 PrintError("SVM Returned:(VMCB=%p)\n", (void *)(info->vmm_data));
313 PrintError("RIP: %p\n", (void *)(addr_t)(guest_state->rip));
314 PrintError("RIP Linear: %p\n", (void *)(addr_t)(rip_addr));
316 PrintError("SVM Returned: Exit Code: %p\n", (void *)(addr_t)exit_code);
318 PrintError("io_info1 low = 0x%.8x\n", *(uint_t*)&(guest_ctrl->exit_info1));
319 PrintError("io_info1 high = 0x%.8x\n", *(uint_t *)(((uchar_t *)&(guest_ctrl->exit_info1)) + 4));
321 PrintError("io_info2 low = 0x%.8x\n", *(uint_t*)&(guest_ctrl->exit_info2));
322 PrintError("io_info2 high = 0x%.8x\n", *(uint_t *)(((uchar_t *)&(guest_ctrl->exit_info2)) + 4));
325 if (info->shdw_pg_mode == SHADOW_PAGING) {
326 // PrintHostPageTables(info, info->ctrl_regs.cr3);
327 //PrintGuestPageTables(info, info->shdw_pg_state.guest_cr3);
333 // END OF SWITCH (EXIT_CODE)
335 #ifdef CONFIG_TELEMETRY
336 if (info->enable_telemetry) {
337 v3_telemetry_end_exit(info, exit_code);
342 if (v3_excp_pending(info)) {
343 uint_t excp = v3_get_excp_number(info);
345 guest_ctrl->EVENTINJ.type = SVM_INJECTION_EXCEPTION;
347 if (info->excp_state.excp_error_code_valid) {
348 guest_ctrl->EVENTINJ.error_code = info->excp_state.excp_error_code;
349 guest_ctrl->EVENTINJ.ev = 1;
350 #ifdef CONFIG_DEBUG_INTERRUPTS
351 PrintDebug("Injecting exception %d with error code %x\n", excp, guest_ctrl->EVENTINJ.error_code);
355 guest_ctrl->EVENTINJ.vector = excp;
357 guest_ctrl->EVENTINJ.valid = 1;
358 #ifdef CONFIG_DEBUG_INTERRUPTS
359 PrintDebug("Injecting Exception %d (EIP=%p)\n",
360 guest_ctrl->EVENTINJ.vector,
361 (void *)(addr_t)info->rip);
363 v3_injecting_excp(info, excp);
364 } else if (info->intr_state.irq_started == 1) {
365 #ifdef CONFIG_DEBUG_INTERRUPTS
366 PrintDebug("IRQ pending from previous injection\n");
368 guest_ctrl->guest_ctrl.V_IRQ = 1;
369 guest_ctrl->guest_ctrl.V_INTR_VECTOR = info->intr_state.irq_vector;
370 guest_ctrl->guest_ctrl.V_IGN_TPR = 1;
371 guest_ctrl->guest_ctrl.V_INTR_PRIO = 0xf;
374 switch (v3_intr_pending(info)) {
375 case V3_EXTERNAL_IRQ: {
376 uint32_t irq = v3_get_intr(info);
378 guest_ctrl->guest_ctrl.V_IRQ = 1;
379 guest_ctrl->guest_ctrl.V_INTR_VECTOR = irq;
380 guest_ctrl->guest_ctrl.V_IGN_TPR = 1;
381 guest_ctrl->guest_ctrl.V_INTR_PRIO = 0xf;
383 #ifdef CONFIG_DEBUG_INTERRUPTS
384 PrintDebug("Injecting Interrupt %d (EIP=%p)\n",
385 guest_ctrl->guest_ctrl.V_INTR_VECTOR,
386 (void *)(addr_t)info->rip);
389 info->intr_state.irq_pending = 1;
390 info->intr_state.irq_vector = irq;
395 guest_ctrl->EVENTINJ.type = SVM_INJECTION_NMI;
397 case V3_SOFTWARE_INTR:
398 guest_ctrl->EVENTINJ.type = SVM_INJECTION_SOFT_INTR;
401 guest_ctrl->EVENTINJ.type = SVM_INJECTION_IRQ;
404 case V3_INVALID_INTR:
412 guest_state->cr0 = info->ctrl_regs.cr0;
413 guest_state->cr2 = info->ctrl_regs.cr2;
414 guest_state->cr3 = info->ctrl_regs.cr3;
415 guest_state->cr4 = info->ctrl_regs.cr4;
416 guest_state->dr6 = info->dbg_regs.dr6;
417 guest_state->dr7 = info->dbg_regs.dr7;
418 guest_ctrl->guest_ctrl.V_TPR = info->ctrl_regs.cr8 & 0xff;
419 guest_state->rflags = info->ctrl_regs.rflags;
420 guest_state->efer = info->ctrl_regs.efer;
422 guest_state->cpl = info->cpl;
424 guest_state->rax = info->vm_regs.rax;
425 guest_state->rip = info->rip;
426 guest_state->rsp = info->vm_regs.rsp;
429 v3_set_vmcb_segments((vmcb_t*)(info->vmm_data), &(info->segments));
431 if (exit_code == VMEXIT_INTR) {
432 //PrintDebug("INTR ret IP = %x\n", guest_state->rip);
439 static const char VMEXIT_CR0_READ_STR[] = "VMEXIT_CR0_READ";
440 static const char VMEXIT_CR1_READ_STR[] = "VMEXIT_CR1_READ";
441 static const char VMEXIT_CR2_READ_STR[] = "VMEXIT_CR2_READ";
442 static const char VMEXIT_CR3_READ_STR[] = "VMEXIT_CR3_READ";
443 static const char VMEXIT_CR4_READ_STR[] = "VMEXIT_CR4_READ";
444 static const char VMEXIT_CR5_READ_STR[] = "VMEXIT_CR5_READ";
445 static const char VMEXIT_CR6_READ_STR[] = "VMEXIT_CR6_READ";
446 static const char VMEXIT_CR7_READ_STR[] = "VMEXIT_CR7_READ";
447 static const char VMEXIT_CR8_READ_STR[] = "VMEXIT_CR8_READ";
448 static const char VMEXIT_CR9_READ_STR[] = "VMEXIT_CR9_READ";
449 static const char VMEXIT_CR10_READ_STR[] = "VMEXIT_CR10_READ";
450 static const char VMEXIT_CR11_READ_STR[] = "VMEXIT_CR11_READ";
451 static const char VMEXIT_CR12_READ_STR[] = "VMEXIT_CR12_READ";
452 static const char VMEXIT_CR13_READ_STR[] = "VMEXIT_CR13_READ";
453 static const char VMEXIT_CR14_READ_STR[] = "VMEXIT_CR14_READ";
454 static const char VMEXIT_CR15_READ_STR[] = "VMEXIT_CR15_READ";
455 static const char VMEXIT_CR0_WRITE_STR[] = "VMEXIT_CR0_WRITE";
456 static const char VMEXIT_CR1_WRITE_STR[] = "VMEXIT_CR1_WRITE";
457 static const char VMEXIT_CR2_WRITE_STR[] = "VMEXIT_CR2_WRITE";
458 static const char VMEXIT_CR3_WRITE_STR[] = "VMEXIT_CR3_WRITE";
459 static const char VMEXIT_CR4_WRITE_STR[] = "VMEXIT_CR4_WRITE";
460 static const char VMEXIT_CR5_WRITE_STR[] = "VMEXIT_CR5_WRITE";
461 static const char VMEXIT_CR6_WRITE_STR[] = "VMEXIT_CR6_WRITE";
462 static const char VMEXIT_CR7_WRITE_STR[] = "VMEXIT_CR7_WRITE";
463 static const char VMEXIT_CR8_WRITE_STR[] = "VMEXIT_CR8_WRITE";
464 static const char VMEXIT_CR9_WRITE_STR[] = "VMEXIT_CR9_WRITE";
465 static const char VMEXIT_CR10_WRITE_STR[] = "VMEXIT_CR10_WRITE";
466 static const char VMEXIT_CR11_WRITE_STR[] = "VMEXIT_CR11_WRITE";
467 static const char VMEXIT_CR12_WRITE_STR[] = "VMEXIT_CR12_WRITE";
468 static const char VMEXIT_CR13_WRITE_STR[] = "VMEXIT_CR13_WRITE";
469 static const char VMEXIT_CR14_WRITE_STR[] = "VMEXIT_CR14_WRITE";
470 static const char VMEXIT_CR15_WRITE_STR[] = "VMEXIT_CR15_WRITE";
471 static const char VMEXIT_DR0_READ_STR[] = "VMEXIT_DR0_READ";
472 static const char VMEXIT_DR1_READ_STR[] = "VMEXIT_DR1_READ";
473 static const char VMEXIT_DR2_READ_STR[] = "VMEXIT_DR2_READ";
474 static const char VMEXIT_DR3_READ_STR[] = "VMEXIT_DR3_READ";
475 static const char VMEXIT_DR4_READ_STR[] = "VMEXIT_DR4_READ";
476 static const char VMEXIT_DR5_READ_STR[] = "VMEXIT_DR5_READ";
477 static const char VMEXIT_DR6_READ_STR[] = "VMEXIT_DR6_READ";
478 static const char VMEXIT_DR7_READ_STR[] = "VMEXIT_DR7_READ";
479 static const char VMEXIT_DR8_READ_STR[] = "VMEXIT_DR8_READ";
480 static const char VMEXIT_DR9_READ_STR[] = "VMEXIT_DR9_READ";
481 static const char VMEXIT_DR10_READ_STR[] = "VMEXIT_DR10_READ";
482 static const char VMEXIT_DR11_READ_STR[] = "VMEXIT_DR11_READ";
483 static const char VMEXIT_DR12_READ_STR[] = "VMEXIT_DR12_READ";
484 static const char VMEXIT_DR13_READ_STR[] = "VMEXIT_DR13_READ";
485 static const char VMEXIT_DR14_READ_STR[] = "VMEXIT_DR14_READ";
486 static const char VMEXIT_DR15_READ_STR[] = "VMEXIT_DR15_READ";
487 static const char VMEXIT_DR0_WRITE_STR[] = "VMEXIT_DR0_WRITE";
488 static const char VMEXIT_DR1_WRITE_STR[] = "VMEXIT_DR1_WRITE";
489 static const char VMEXIT_DR2_WRITE_STR[] = "VMEXIT_DR2_WRITE";
490 static const char VMEXIT_DR3_WRITE_STR[] = "VMEXIT_DR3_WRITE";
491 static const char VMEXIT_DR4_WRITE_STR[] = "VMEXIT_DR4_WRITE";
492 static const char VMEXIT_DR5_WRITE_STR[] = "VMEXIT_DR5_WRITE";
493 static const char VMEXIT_DR6_WRITE_STR[] = "VMEXIT_DR6_WRITE";
494 static const char VMEXIT_DR7_WRITE_STR[] = "VMEXIT_DR7_WRITE";
495 static const char VMEXIT_DR8_WRITE_STR[] = "VMEXIT_DR8_WRITE";
496 static const char VMEXIT_DR9_WRITE_STR[] = "VMEXIT_DR9_WRITE";
497 static const char VMEXIT_DR10_WRITE_STR[] = "VMEXIT_DR10_WRITE";
498 static const char VMEXIT_DR11_WRITE_STR[] = "VMEXIT_DR11_WRITE";
499 static const char VMEXIT_DR12_WRITE_STR[] = "VMEXIT_DR12_WRITE";
500 static const char VMEXIT_DR13_WRITE_STR[] = "VMEXIT_DR13_WRITE";
501 static const char VMEXIT_DR14_WRITE_STR[] = "VMEXIT_DR14_WRITE";
502 static const char VMEXIT_DR15_WRITE_STR[] = "VMEXIT_DR15_WRITE";
503 static const char VMEXIT_EXCP0_STR[] = "VMEXIT_EXCP0";
504 static const char VMEXIT_EXCP1_STR[] = "VMEXIT_EXCP1";
505 static const char VMEXIT_EXCP2_STR[] = "VMEXIT_EXCP2";
506 static const char VMEXIT_EXCP3_STR[] = "VMEXIT_EXCP3";
507 static const char VMEXIT_EXCP4_STR[] = "VMEXIT_EXCP4";
508 static const char VMEXIT_EXCP5_STR[] = "VMEXIT_EXCP5";
509 static const char VMEXIT_EXCP6_STR[] = "VMEXIT_EXCP6";
510 static const char VMEXIT_EXCP7_STR[] = "VMEXIT_EXCP7";
511 static const char VMEXIT_EXCP8_STR[] = "VMEXIT_EXCP8";
512 static const char VMEXIT_EXCP9_STR[] = "VMEXIT_EXCP9";
513 static const char VMEXIT_EXCP10_STR[] = "VMEXIT_EXCP10";
514 static const char VMEXIT_EXCP11_STR[] = "VMEXIT_EXCP11";
515 static const char VMEXIT_EXCP12_STR[] = "VMEXIT_EXCP12";
516 static const char VMEXIT_EXCP13_STR[] = "VMEXIT_EXCP13";
517 static const char VMEXIT_EXCP14_STR[] = "VMEXIT_EXCP14";
518 static const char VMEXIT_EXCP15_STR[] = "VMEXIT_EXCP15";
519 static const char VMEXIT_EXCP16_STR[] = "VMEXIT_EXCP16";
520 static const char VMEXIT_EXCP17_STR[] = "VMEXIT_EXCP17";
521 static const char VMEXIT_EXCP18_STR[] = "VMEXIT_EXCP18";
522 static const char VMEXIT_EXCP19_STR[] = "VMEXIT_EXCP19";
523 static const char VMEXIT_EXCP20_STR[] = "VMEXIT_EXCP20";
524 static const char VMEXIT_EXCP21_STR[] = "VMEXIT_EXCP21";
525 static const char VMEXIT_EXCP22_STR[] = "VMEXIT_EXCP22";
526 static const char VMEXIT_EXCP23_STR[] = "VMEXIT_EXCP23";
527 static const char VMEXIT_EXCP24_STR[] = "VMEXIT_EXCP24";
528 static const char VMEXIT_EXCP25_STR[] = "VMEXIT_EXCP25";
529 static const char VMEXIT_EXCP26_STR[] = "VMEXIT_EXCP26";
530 static const char VMEXIT_EXCP27_STR[] = "VMEXIT_EXCP27";
531 static const char VMEXIT_EXCP28_STR[] = "VMEXIT_EXCP28";
532 static const char VMEXIT_EXCP29_STR[] = "VMEXIT_EXCP29";
533 static const char VMEXIT_EXCP30_STR[] = "VMEXIT_EXCP30";
534 static const char VMEXIT_EXCP31_STR[] = "VMEXIT_EXCP31";
535 static const char VMEXIT_INTR_STR[] = "VMEXIT_INTR";
536 static const char VMEXIT_NMI_STR[] = "VMEXIT_NMI";
537 static const char VMEXIT_SMI_STR[] = "VMEXIT_SMI";
538 static const char VMEXIT_INIT_STR[] = "VMEXIT_INIT";
539 static const char VMEXIT_VINITR_STR[] = "VMEXIT_VINITR";
540 static const char VMEXIT_CR0_SEL_WRITE_STR[] = "VMEXIT_CR0_SEL_WRITE";
541 static const char VMEXIT_IDTR_READ_STR[] = "VMEXIT_IDTR_READ";
542 static const char VMEXIT_GDTR_READ_STR[] = "VMEXIT_GDTR_READ";
543 static const char VMEXIT_LDTR_READ_STR[] = "VMEXIT_LDTR_READ";
544 static const char VMEXIT_TR_READ_STR[] = "VMEXIT_TR_READ";
545 static const char VMEXIT_IDTR_WRITE_STR[] = "VMEXIT_IDTR_WRITE";
546 static const char VMEXIT_GDTR_WRITE_STR[] = "VMEXIT_GDTR_WRITE";
547 static const char VMEXIT_LDTR_WRITE_STR[] = "VMEXIT_LDTR_WRITE";
548 static const char VMEXIT_TR_WRITE_STR[] = "VMEXIT_TR_WRITE";
549 static const char VMEXIT_RDTSC_STR[] = "VMEXIT_RDTSC";
550 static const char VMEXIT_RDPMC_STR[] = "VMEXIT_RDPMC";
551 static const char VMEXIT_PUSHF_STR[] = "VMEXIT_PUSHF";
552 static const char VMEXIT_POPF_STR[] = "VMEXIT_POPF";
553 static const char VMEXIT_CPUID_STR[] = "VMEXIT_CPUID";
554 static const char VMEXIT_RSM_STR[] = "VMEXIT_RSM";
555 static const char VMEXIT_IRET_STR[] = "VMEXIT_IRET";
556 static const char VMEXIT_SWINT_STR[] = "VMEXIT_SWINT";
557 static const char VMEXIT_INVD_STR[] = "VMEXIT_INVD";
558 static const char VMEXIT_PAUSE_STR[] = "VMEXIT_PAUSE";
559 static const char VMEXIT_HLT_STR[] = "VMEXIT_HLT";
560 static const char VMEXIT_INVLPG_STR[] = "VMEXIT_INVLPG";
561 static const char VMEXIT_INVLPGA_STR[] = "VMEXIT_INVLPGA";
562 static const char VMEXIT_IOIO_STR[] = "VMEXIT_IOIO";
563 static const char VMEXIT_MSR_STR[] = "VMEXIT_MSR";
564 static const char VMEXIT_TASK_SWITCH_STR[] = "VMEXIT_TASK_SWITCH";
565 static const char VMEXIT_FERR_FREEZE_STR[] = "VMEXIT_FERR_FREEZE";
566 static const char VMEXIT_SHUTDOWN_STR[] = "VMEXIT_SHUTDOWN";
567 static const char VMEXIT_VMRUN_STR[] = "VMEXIT_VMRUN";
568 static const char VMEXIT_VMMCALL_STR[] = "VMEXIT_VMMCALL";
569 static const char VMEXIT_VMLOAD_STR[] = "VMEXIT_VMLOAD";
570 static const char VMEXIT_VMSAVE_STR[] = "VMEXIT_VMSAVE";
571 static const char VMEXIT_STGI_STR[] = "VMEXIT_STGI";
572 static const char VMEXIT_CLGI_STR[] = "VMEXIT_CLGI";
573 static const char VMEXIT_SKINIT_STR[] = "VMEXIT_SKINIT";
574 static const char VMEXIT_RDTSCP_STR[] = "VMEXIT_RDTSCP";
575 static const char VMEXIT_ICEBP_STR[] = "VMEXIT_ICEBP";
576 static const char VMEXIT_WBINVD_STR[] = "VMEXIT_WBINVD";
577 static const char VMEXIT_MONITOR_STR[] = "VMEXIT_MONITOR";
578 static const char VMEXIT_MWAIT_STR[] = "VMEXIT_MWAIT";
579 static const char VMEXIT_MWAIT_CONDITIONAL_STR[] = "VMEXIT_MWAIT_CONDITIONAL";
580 static const char VMEXIT_NPF_STR[] = "VMEXIT_NPF";
581 static const char VMEXIT_INVALID_VMCB_STR[] = "VMEXIT_INVALID_VMCB";
585 const char * vmexit_code_to_str(uint_t exit_code) {
587 case VMEXIT_CR0_READ:
588 return VMEXIT_CR0_READ_STR;
589 case VMEXIT_CR1_READ:
590 return VMEXIT_CR1_READ_STR;
591 case VMEXIT_CR2_READ:
592 return VMEXIT_CR2_READ_STR;
593 case VMEXIT_CR3_READ:
594 return VMEXIT_CR3_READ_STR;
595 case VMEXIT_CR4_READ:
596 return VMEXIT_CR4_READ_STR;
597 case VMEXIT_CR5_READ:
598 return VMEXIT_CR5_READ_STR;
599 case VMEXIT_CR6_READ:
600 return VMEXIT_CR6_READ_STR;
601 case VMEXIT_CR7_READ:
602 return VMEXIT_CR7_READ_STR;
603 case VMEXIT_CR8_READ:
604 return VMEXIT_CR8_READ_STR;
605 case VMEXIT_CR9_READ:
606 return VMEXIT_CR9_READ_STR;
607 case VMEXIT_CR10_READ:
608 return VMEXIT_CR10_READ_STR;
609 case VMEXIT_CR11_READ:
610 return VMEXIT_CR11_READ_STR;
611 case VMEXIT_CR12_READ:
612 return VMEXIT_CR12_READ_STR;
613 case VMEXIT_CR13_READ:
614 return VMEXIT_CR13_READ_STR;
615 case VMEXIT_CR14_READ:
616 return VMEXIT_CR14_READ_STR;
617 case VMEXIT_CR15_READ:
618 return VMEXIT_CR15_READ_STR;
619 case VMEXIT_CR0_WRITE:
620 return VMEXIT_CR0_WRITE_STR;
621 case VMEXIT_CR1_WRITE:
622 return VMEXIT_CR1_WRITE_STR;
623 case VMEXIT_CR2_WRITE:
624 return VMEXIT_CR2_WRITE_STR;
625 case VMEXIT_CR3_WRITE:
626 return VMEXIT_CR3_WRITE_STR;
627 case VMEXIT_CR4_WRITE:
628 return VMEXIT_CR4_WRITE_STR;
629 case VMEXIT_CR5_WRITE:
630 return VMEXIT_CR5_WRITE_STR;
631 case VMEXIT_CR6_WRITE:
632 return VMEXIT_CR6_WRITE_STR;
633 case VMEXIT_CR7_WRITE:
634 return VMEXIT_CR7_WRITE_STR;
635 case VMEXIT_CR8_WRITE:
636 return VMEXIT_CR8_WRITE_STR;
637 case VMEXIT_CR9_WRITE:
638 return VMEXIT_CR9_WRITE_STR;
639 case VMEXIT_CR10_WRITE:
640 return VMEXIT_CR10_WRITE_STR;
641 case VMEXIT_CR11_WRITE:
642 return VMEXIT_CR11_WRITE_STR;
643 case VMEXIT_CR12_WRITE:
644 return VMEXIT_CR12_WRITE_STR;
645 case VMEXIT_CR13_WRITE:
646 return VMEXIT_CR13_WRITE_STR;
647 case VMEXIT_CR14_WRITE:
648 return VMEXIT_CR14_WRITE_STR;
649 case VMEXIT_CR15_WRITE:
650 return VMEXIT_CR15_WRITE_STR;
651 case VMEXIT_DR0_READ:
652 return VMEXIT_DR0_READ_STR;
653 case VMEXIT_DR1_READ:
654 return VMEXIT_DR1_READ_STR;
655 case VMEXIT_DR2_READ:
656 return VMEXIT_DR2_READ_STR;
657 case VMEXIT_DR3_READ:
658 return VMEXIT_DR3_READ_STR;
659 case VMEXIT_DR4_READ:
660 return VMEXIT_DR4_READ_STR;
661 case VMEXIT_DR5_READ:
662 return VMEXIT_DR5_READ_STR;
663 case VMEXIT_DR6_READ:
664 return VMEXIT_DR6_READ_STR;
665 case VMEXIT_DR7_READ:
666 return VMEXIT_DR7_READ_STR;
667 case VMEXIT_DR8_READ:
668 return VMEXIT_DR8_READ_STR;
669 case VMEXIT_DR9_READ:
670 return VMEXIT_DR9_READ_STR;
671 case VMEXIT_DR10_READ:
672 return VMEXIT_DR10_READ_STR;
673 case VMEXIT_DR11_READ:
674 return VMEXIT_DR11_READ_STR;
675 case VMEXIT_DR12_READ:
676 return VMEXIT_DR12_READ_STR;
677 case VMEXIT_DR13_READ:
678 return VMEXIT_DR13_READ_STR;
679 case VMEXIT_DR14_READ:
680 return VMEXIT_DR14_READ_STR;
681 case VMEXIT_DR15_READ:
682 return VMEXIT_DR15_READ_STR;
683 case VMEXIT_DR0_WRITE:
684 return VMEXIT_DR0_WRITE_STR;
685 case VMEXIT_DR1_WRITE:
686 return VMEXIT_DR1_WRITE_STR;
687 case VMEXIT_DR2_WRITE:
688 return VMEXIT_DR2_WRITE_STR;
689 case VMEXIT_DR3_WRITE:
690 return VMEXIT_DR3_WRITE_STR;
691 case VMEXIT_DR4_WRITE:
692 return VMEXIT_DR4_WRITE_STR;
693 case VMEXIT_DR5_WRITE:
694 return VMEXIT_DR5_WRITE_STR;
695 case VMEXIT_DR6_WRITE:
696 return VMEXIT_DR6_WRITE_STR;
697 case VMEXIT_DR7_WRITE:
698 return VMEXIT_DR7_WRITE_STR;
699 case VMEXIT_DR8_WRITE:
700 return VMEXIT_DR8_WRITE_STR;
701 case VMEXIT_DR9_WRITE:
702 return VMEXIT_DR9_WRITE_STR;
703 case VMEXIT_DR10_WRITE:
704 return VMEXIT_DR10_WRITE_STR;
705 case VMEXIT_DR11_WRITE:
706 return VMEXIT_DR11_WRITE_STR;
707 case VMEXIT_DR12_WRITE:
708 return VMEXIT_DR12_WRITE_STR;
709 case VMEXIT_DR13_WRITE:
710 return VMEXIT_DR13_WRITE_STR;
711 case VMEXIT_DR14_WRITE:
712 return VMEXIT_DR14_WRITE_STR;
713 case VMEXIT_DR15_WRITE:
714 return VMEXIT_DR15_WRITE_STR;
716 return VMEXIT_EXCP0_STR;
718 return VMEXIT_EXCP1_STR;
720 return VMEXIT_EXCP2_STR;
722 return VMEXIT_EXCP3_STR;
724 return VMEXIT_EXCP4_STR;
726 return VMEXIT_EXCP5_STR;
728 return VMEXIT_EXCP6_STR;
730 return VMEXIT_EXCP7_STR;
732 return VMEXIT_EXCP8_STR;
734 return VMEXIT_EXCP9_STR;
736 return VMEXIT_EXCP10_STR;
738 return VMEXIT_EXCP11_STR;
740 return VMEXIT_EXCP12_STR;
742 return VMEXIT_EXCP13_STR;
744 return VMEXIT_EXCP14_STR;
746 return VMEXIT_EXCP15_STR;
748 return VMEXIT_EXCP16_STR;
750 return VMEXIT_EXCP17_STR;
752 return VMEXIT_EXCP18_STR;
754 return VMEXIT_EXCP19_STR;
756 return VMEXIT_EXCP20_STR;
758 return VMEXIT_EXCP21_STR;
760 return VMEXIT_EXCP22_STR;
762 return VMEXIT_EXCP23_STR;
764 return VMEXIT_EXCP24_STR;
766 return VMEXIT_EXCP25_STR;
768 return VMEXIT_EXCP26_STR;
770 return VMEXIT_EXCP27_STR;
772 return VMEXIT_EXCP28_STR;
774 return VMEXIT_EXCP29_STR;
776 return VMEXIT_EXCP30_STR;
778 return VMEXIT_EXCP31_STR;
780 return VMEXIT_INTR_STR;
782 return VMEXIT_NMI_STR;
784 return VMEXIT_SMI_STR;
786 return VMEXIT_INIT_STR;
788 return VMEXIT_VINITR_STR;
789 case VMEXIT_CR0_SEL_WRITE:
790 return VMEXIT_CR0_SEL_WRITE_STR;
791 case VMEXIT_IDTR_READ:
792 return VMEXIT_IDTR_READ_STR;
793 case VMEXIT_GDTR_READ:
794 return VMEXIT_GDTR_READ_STR;
795 case VMEXIT_LDTR_READ:
796 return VMEXIT_LDTR_READ_STR;
798 return VMEXIT_TR_READ_STR;
799 case VMEXIT_IDTR_WRITE:
800 return VMEXIT_IDTR_WRITE_STR;
801 case VMEXIT_GDTR_WRITE:
802 return VMEXIT_GDTR_WRITE_STR;
803 case VMEXIT_LDTR_WRITE:
804 return VMEXIT_LDTR_WRITE_STR;
805 case VMEXIT_TR_WRITE:
806 return VMEXIT_TR_WRITE_STR;
808 return VMEXIT_RDTSC_STR;
810 return VMEXIT_RDPMC_STR;
812 return VMEXIT_PUSHF_STR;
814 return VMEXIT_POPF_STR;
816 return VMEXIT_CPUID_STR;
818 return VMEXIT_RSM_STR;
820 return VMEXIT_IRET_STR;
822 return VMEXIT_SWINT_STR;
824 return VMEXIT_INVD_STR;
826 return VMEXIT_PAUSE_STR;
828 return VMEXIT_HLT_STR;
830 return VMEXIT_INVLPG_STR;
832 return VMEXIT_INVLPGA_STR;
834 return VMEXIT_IOIO_STR;
836 return VMEXIT_MSR_STR;
837 case VMEXIT_TASK_SWITCH:
838 return VMEXIT_TASK_SWITCH_STR;
839 case VMEXIT_FERR_FREEZE:
840 return VMEXIT_FERR_FREEZE_STR;
841 case VMEXIT_SHUTDOWN:
842 return VMEXIT_SHUTDOWN_STR;
844 return VMEXIT_VMRUN_STR;
846 return VMEXIT_VMMCALL_STR;
848 return VMEXIT_VMLOAD_STR;
850 return VMEXIT_VMSAVE_STR;
852 return VMEXIT_STGI_STR;
854 return VMEXIT_CLGI_STR;
856 return VMEXIT_SKINIT_STR;
858 return VMEXIT_RDTSCP_STR;
860 return VMEXIT_ICEBP_STR;
862 return VMEXIT_WBINVD_STR;
864 return VMEXIT_MONITOR_STR;
866 return VMEXIT_MWAIT_STR;
867 case VMEXIT_MWAIT_CONDITIONAL:
868 return VMEXIT_MWAIT_CONDITIONAL_STR;
870 return VMEXIT_NPF_STR;
871 case VMEXIT_INVALID_VMCB:
872 return VMEXIT_INVALID_VMCB_STR;