palacios/src/palacios/svm_handler.c

   1 /*
   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.
   5  *
   6  * The V3VEE Project is a joint project between Northwestern University
   7  * and the University of New Mexico.  You can find out more at
   8  * http://www.v3vee.org
   9  *
  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.
  13  *
  14  * Author: Jack Lange <jarusl@cs.northwestern.edu>
  15  *
  16  * This is free software.  You are permitted to use,
  17  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
  18  */
  19
  20
  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>
  36
  37
  38 #ifdef CONFIG_TELEMETRY
  39 #include <palacios/vmm_telemetry.h>
  40 #endif
  41
  42
  43 int v3_handle_svm_exit(struct guest_info * info, addr_t exit_code, addr_t exit_info1, addr_t exit_info2) {
  44
  45 #ifdef CONFIG_TELEMETRY
  46     if (info->enable_telemetry) {
  47         v3_telemetry_start_exit(info);
  48     }
  49 #endif
  50
  51
  52     //PrintDebug("SVM Returned: Exit Code: %x\n",exit_code);
  53
  54     switch (exit_code) {
  55         case VMEXIT_IOIO: {
  56             struct svm_io_info * io_info = (struct svm_io_info *)&(exit_info1);
  57
  58             if (io_info->type == 0) {
  59                 if (io_info->str) {
  60
  61                     if (v3_handle_svm_io_outs(info, io_info) == -1 ) {
  62                         return -1;
  63                     }
  64                 } else {
  65                     if (v3_handle_svm_io_out(info, io_info) == -1) {
  66                         return -1;
  67                     }
  68                 }
  69
  70             } else {
  71
  72                 if (io_info->str) {
  73                     if (v3_handle_svm_io_ins(info, io_info) == -1) {
  74                         return -1;
  75                     }
  76                 } else {
  77                     if (v3_handle_svm_io_in(info, io_info) == -1) {
  78                         return -1;
  79                     }
  80                 }
  81             }
  82
  83             info->rip = exit_info2;
  84
  85             break;
  86         }
  87         case VMEXIT_MSR:
  88
  89             if (exit_info1 == 0) {
  90                 if (v3_handle_msr_read(info) == -1) {
  91                     return -1;
  92                 }
  93             } else if (exit_info1 == 1) {
  94                 if (v3_handle_msr_write(info) == -1) {
  95                     return -1;
  96                 }
  97             } else {
  98                 PrintError("Invalid MSR Operation\n");
  99                 return -1;
 100             }
 101
 102             break;
 103
 104         case VMEXIT_CPUID:
 105             if (v3_handle_cpuid(info) == -1) {
 106                 PrintError("Error handling CPUID\n");
 107                 return -1;
 108             }
 109
 110             break;
 111         case VMEXIT_CR0_WRITE:
 112 #ifdef CONFIG_DEBUG_CTRL_REGS
 113             PrintDebug("CR0 Write\n");
 114 #endif
 115             if (v3_handle_cr0_write(info) == -1) {
 116                 return -1;
 117             }
 118             break;
 119         case VMEXIT_CR0_READ:
 120 #ifdef CONFIG_DEBUG_CTRL_REGS
 121             PrintDebug("CR0 Read\n");
 122 #endif
 123             if (v3_handle_cr0_read(info) == -1) {
 124                 return -1;
 125             }
 126             break;
 127         case VMEXIT_CR3_WRITE:
 128 #ifdef CONFIG_DEBUG_CTRL_REGS
 129             PrintDebug("CR3 Write\n");
 130 #endif
 131             if (v3_handle_cr3_write(info) == -1) {
 132                 return -1;
 133             }
 134
 135             break;
 136         case  VMEXIT_CR3_READ:
 137 #ifdef CONFIG_DEBUG_CTRL_REGS
 138             PrintDebug("CR3 Read\n");
 139 #endif
 140             if (v3_handle_cr3_read(info) == -1) {
 141                 return -1;
 142             }
 143             break;
 144         case VMEXIT_CR4_WRITE:
 145 #ifdef CONFIG_DEBUG_CTRL_REGS
 146             PrintDebug("CR4 Write\n");
 147 #endif
 148             if (v3_handle_cr4_write(info) == -1) {
 149                 return -1;
 150             }
 151             break;
 152         case  VMEXIT_CR4_READ:
 153 #ifdef CONFIG_DEBUG_CTRL_REGS
 154             PrintDebug("CR4 Read\n");
 155 #endif
 156             if (v3_handle_cr4_read(info) == -1) {
 157                 return -1;
 158             }
 159             break;
 160         case VMEXIT_EXCP14: {
 161             addr_t fault_addr = exit_info2;
 162             pf_error_t * error_code = (pf_error_t *)&(exit_info1);
 163 #ifdef CONFIG_DEBUG_SHADOW_PAGING
 164             PrintDebug("PageFault at %p (error=%d)\n",
 165                        (void *)fault_addr, *(uint_t *)error_code);
 166 #endif
 167             if (info->shdw_pg_mode == SHADOW_PAGING) {
 168                 if (v3_handle_shadow_pagefault(info, fault_addr, *error_code) == -1) {
 169                     return -1;
 170                 }
 171             } else {
 172                 PrintError("Page fault in un implemented paging mode\n");
 173                 return -1;
 174             }
 175             break;
 176         }
 177         case VMEXIT_NPF: {
 178             addr_t fault_addr = exit_info2;
 179             pf_error_t * error_code = (pf_error_t *)&(exit_info1);
 180
 181             if (info->shdw_pg_mode == NESTED_PAGING) {
 182                 if (v3_handle_nested_pagefault(info, fault_addr, *error_code) == -1) {
 183                     return -1;
 184                 }
 185             } else {
 186                 PrintError("Currently unhandled Nested Page Fault\n");
 187                 return -1;
 188                     }
 189             break;
 190             }
 191         case VMEXIT_INVLPG:
 192             if (info->shdw_pg_mode == SHADOW_PAGING) {
 193 #ifdef CONFIG_DEBUG_SHADOW_PAGING
 194                 PrintDebug("Invlpg\n");
 195 #endif
 196                 if (v3_handle_shadow_invlpg(info) == -1) {
 197                     return -1;
 198                 }
 199             }
 200             break;
 201         case VMEXIT_VMMCALL:
 202             /*
 203              * Hypercall
 204              */
 205
 206             // VMMCALL is a 3 byte op
 207             // We do this early because some hypercalls can change the rip...
 208             info->rip += 3;
 209
 210             if (v3_handle_hypercall(info) == -1) {
 211                 PrintError("Error handling Hypercall\n");
 212                 return -1;
 213             }
 214
 215             break;
 216         case VMEXIT_INTR:
 217             // handled by interrupt dispatch earlier
 218             break;
 219         case VMEXIT_SMI:
 220             //   handle_svm_smi(info); // ignored for now
 221             break;
 222         case VMEXIT_HLT:
 223 #ifdef CONFIG_DEBUG_HALT
 224             PrintDebug("Guest halted\n");
 225 #endif
 226             if (v3_handle_halt(info) == -1) {
 227                 return -1;
 228             }
 229             break;
 230         case VMEXIT_PAUSE:
 231             //      PrintDebug("Guest paused\n");
 232             if (v3_handle_svm_pause(info) == -1) {
 233                 return -1;
 234             }
 235             break;
 236         case VMEXIT_WBINVD:
 237 #ifdef CONFIG_DEBUG_EMULATOR
 238             PrintDebug("WBINVD\n");
 239 #endif
 240             if (v3_handle_svm_wbinvd(info) == -1) {
 241                 return -1;
 242             }
 243             break;
 244
 245
 246
 247
 248
 249             /* Exits Following this line are NOT HANDLED */
 250             /*=======================================================================*/
 251
 252         default: {
 253
 254             addr_t rip_addr;
 255
 256             PrintDebug("Unhandled SVM Exit: %s\n", vmexit_code_to_str(exit_code));
 257
 258             rip_addr = get_addr_linear(info, info->rip, &(info->segments.cs));
 259
 260
 261             PrintError("SVM Returned:(VMCB=%p)\n", (void *)(info->vmm_data));
 262             PrintError("RIP: %p\n", (void *)(addr_t)(info->rip));
 263             PrintError("RIP Linear: %p\n", (void *)(addr_t)(rip_addr));
 264
 265             PrintError("SVM Returned: Exit Code: %p\n", (void *)(addr_t)exit_code);
 266
 267             PrintError("io_info1 low = 0x%.8x\n", *(uint_t*)&(exit_info1));
 268             PrintError("io_info1 high = 0x%.8x\n", *(uint_t *)(((uchar_t *)&(exit_info1)) + 4));
 269
 270             PrintError("io_info2 low = 0x%.8x\n", *(uint_t*)&(exit_info2));
 271             PrintError("io_info2 high = 0x%.8x\n", *(uint_t *)(((uchar_t *)&(exit_info2)) + 4));
 272
 273
 274             if (info->shdw_pg_mode == SHADOW_PAGING) {
 275                 //      PrintHostPageTables(info, info->ctrl_regs.cr3);
 276                 //PrintGuestPageTables(info, info->shdw_pg_state.guest_cr3);
 277             }
 278
 279             return -1;
 280         }
 281     }
 282     // END OF SWITCH (EXIT_CODE)
 283
 284 #ifdef CONFIG_TELEMETRY
 285     if (info->enable_telemetry) {
 286         v3_telemetry_end_exit(info, exit_code);
 287     }
 288 #endif
 289
 290
 291     if (exit_code == VMEXIT_INTR) {
 292         //PrintDebug("INTR ret IP = %x\n", guest_state->rip);
 293     }
 294
 295     return 0;
 296 }
 297
 298
 299 static const char VMEXIT_CR0_READ_STR[] = "VMEXIT_CR0_READ";
 300 static const char VMEXIT_CR1_READ_STR[] = "VMEXIT_CR1_READ";
 301 static const char VMEXIT_CR2_READ_STR[] = "VMEXIT_CR2_READ";
 302 static const char VMEXIT_CR3_READ_STR[] = "VMEXIT_CR3_READ";
 303 static const char VMEXIT_CR4_READ_STR[] = "VMEXIT_CR4_READ";
 304 static const char VMEXIT_CR5_READ_STR[] = "VMEXIT_CR5_READ";
 305 static const char VMEXIT_CR6_READ_STR[] = "VMEXIT_CR6_READ";
 306 static const char VMEXIT_CR7_READ_STR[] = "VMEXIT_CR7_READ";
 307 static const char VMEXIT_CR8_READ_STR[] = "VMEXIT_CR8_READ";
 308 static const char VMEXIT_CR9_READ_STR[] = "VMEXIT_CR9_READ";
 309 static const char VMEXIT_CR10_READ_STR[] = "VMEXIT_CR10_READ";
 310 static const char VMEXIT_CR11_READ_STR[] = "VMEXIT_CR11_READ";
 311 static const char VMEXIT_CR12_READ_STR[] = "VMEXIT_CR12_READ";
 312 static const char VMEXIT_CR13_READ_STR[] = "VMEXIT_CR13_READ";
 313 static const char VMEXIT_CR14_READ_STR[] = "VMEXIT_CR14_READ";
 314 static const char VMEXIT_CR15_READ_STR[] = "VMEXIT_CR15_READ";
 315 static const char VMEXIT_CR0_WRITE_STR[] = "VMEXIT_CR0_WRITE";
 316 static const char VMEXIT_CR1_WRITE_STR[] = "VMEXIT_CR1_WRITE";
 317 static const char VMEXIT_CR2_WRITE_STR[] = "VMEXIT_CR2_WRITE";
 318 static const char VMEXIT_CR3_WRITE_STR[] = "VMEXIT_CR3_WRITE";
 319 static const char VMEXIT_CR4_WRITE_STR[] = "VMEXIT_CR4_WRITE";
 320 static const char VMEXIT_CR5_WRITE_STR[] = "VMEXIT_CR5_WRITE";
 321 static const char VMEXIT_CR6_WRITE_STR[] = "VMEXIT_CR6_WRITE";
 322 static const char VMEXIT_CR7_WRITE_STR[] = "VMEXIT_CR7_WRITE";
 323 static const char VMEXIT_CR8_WRITE_STR[] = "VMEXIT_CR8_WRITE";
 324 static const char VMEXIT_CR9_WRITE_STR[] = "VMEXIT_CR9_WRITE";
 325 static const char VMEXIT_CR10_WRITE_STR[] = "VMEXIT_CR10_WRITE";
 326 static const char VMEXIT_CR11_WRITE_STR[] = "VMEXIT_CR11_WRITE";
 327 static const char VMEXIT_CR12_WRITE_STR[] = "VMEXIT_CR12_WRITE";
 328 static const char VMEXIT_CR13_WRITE_STR[] = "VMEXIT_CR13_WRITE";
 329 static const char VMEXIT_CR14_WRITE_STR[] = "VMEXIT_CR14_WRITE";
 330 static const char VMEXIT_CR15_WRITE_STR[] = "VMEXIT_CR15_WRITE";
 331 static const char VMEXIT_DR0_READ_STR[] = "VMEXIT_DR0_READ";
 332 static const char VMEXIT_DR1_READ_STR[] = "VMEXIT_DR1_READ";
 333 static const char VMEXIT_DR2_READ_STR[] = "VMEXIT_DR2_READ";
 334 static const char VMEXIT_DR3_READ_STR[] = "VMEXIT_DR3_READ";
 335 static const char VMEXIT_DR4_READ_STR[] = "VMEXIT_DR4_READ";
 336 static const char VMEXIT_DR5_READ_STR[] = "VMEXIT_DR5_READ";
 337 static const char VMEXIT_DR6_READ_STR[] = "VMEXIT_DR6_READ";
 338 static const char VMEXIT_DR7_READ_STR[] = "VMEXIT_DR7_READ";
 339 static const char VMEXIT_DR8_READ_STR[] = "VMEXIT_DR8_READ";
 340 static const char VMEXIT_DR9_READ_STR[] = "VMEXIT_DR9_READ";
 341 static const char VMEXIT_DR10_READ_STR[] = "VMEXIT_DR10_READ";
 342 static const char VMEXIT_DR11_READ_STR[] = "VMEXIT_DR11_READ";
 343 static const char VMEXIT_DR12_READ_STR[] = "VMEXIT_DR12_READ";
 344 static const char VMEXIT_DR13_READ_STR[] = "VMEXIT_DR13_READ";
 345 static const char VMEXIT_DR14_READ_STR[] = "VMEXIT_DR14_READ";
 346 static const char VMEXIT_DR15_READ_STR[] = "VMEXIT_DR15_READ";
 347 static const char VMEXIT_DR0_WRITE_STR[] = "VMEXIT_DR0_WRITE";
 348 static const char VMEXIT_DR1_WRITE_STR[] = "VMEXIT_DR1_WRITE";
 349 static const char VMEXIT_DR2_WRITE_STR[] = "VMEXIT_DR2_WRITE";
 350 static const char VMEXIT_DR3_WRITE_STR[] = "VMEXIT_DR3_WRITE";
 351 static const char VMEXIT_DR4_WRITE_STR[] = "VMEXIT_DR4_WRITE";
 352 static const char VMEXIT_DR5_WRITE_STR[] = "VMEXIT_DR5_WRITE";
 353 static const char VMEXIT_DR6_WRITE_STR[] = "VMEXIT_DR6_WRITE";
 354 static const char VMEXIT_DR7_WRITE_STR[] = "VMEXIT_DR7_WRITE";
 355 static const char VMEXIT_DR8_WRITE_STR[] = "VMEXIT_DR8_WRITE";
 356 static const char VMEXIT_DR9_WRITE_STR[] = "VMEXIT_DR9_WRITE";
 357 static const char VMEXIT_DR10_WRITE_STR[] = "VMEXIT_DR10_WRITE";
 358 static const char VMEXIT_DR11_WRITE_STR[] = "VMEXIT_DR11_WRITE";
 359 static const char VMEXIT_DR12_WRITE_STR[] = "VMEXIT_DR12_WRITE";
 360 static const char VMEXIT_DR13_WRITE_STR[] = "VMEXIT_DR13_WRITE";
 361 static const char VMEXIT_DR14_WRITE_STR[] = "VMEXIT_DR14_WRITE";
 362 static const char VMEXIT_DR15_WRITE_STR[] = "VMEXIT_DR15_WRITE";
 363 static const char VMEXIT_EXCP0_STR[] = "VMEXIT_EXCP0";
 364 static const char VMEXIT_EXCP1_STR[] = "VMEXIT_EXCP1";
 365 static const char VMEXIT_EXCP2_STR[] = "VMEXIT_EXCP2";
 366 static const char VMEXIT_EXCP3_STR[] = "VMEXIT_EXCP3";
 367 static const char VMEXIT_EXCP4_STR[] = "VMEXIT_EXCP4";
 368 static const char VMEXIT_EXCP5_STR[] = "VMEXIT_EXCP5";
 369 static const char VMEXIT_EXCP6_STR[] = "VMEXIT_EXCP6";
 370 static const char VMEXIT_EXCP7_STR[] = "VMEXIT_EXCP7";
 371 static const char VMEXIT_EXCP8_STR[] = "VMEXIT_EXCP8";
 372 static const char VMEXIT_EXCP9_STR[] = "VMEXIT_EXCP9";
 373 static const char VMEXIT_EXCP10_STR[] = "VMEXIT_EXCP10";
 374 static const char VMEXIT_EXCP11_STR[] = "VMEXIT_EXCP11";
 375 static const char VMEXIT_EXCP12_STR[] = "VMEXIT_EXCP12";
 376 static const char VMEXIT_EXCP13_STR[] = "VMEXIT_EXCP13";
 377 static const char VMEXIT_EXCP14_STR[] = "VMEXIT_EXCP14";
 378 static const char VMEXIT_EXCP15_STR[] = "VMEXIT_EXCP15";
 379 static const char VMEXIT_EXCP16_STR[] = "VMEXIT_EXCP16";
 380 static const char VMEXIT_EXCP17_STR[] = "VMEXIT_EXCP17";
 381 static const char VMEXIT_EXCP18_STR[] = "VMEXIT_EXCP18";
 382 static const char VMEXIT_EXCP19_STR[] = "VMEXIT_EXCP19";
 383 static const char VMEXIT_EXCP20_STR[] = "VMEXIT_EXCP20";
 384 static const char VMEXIT_EXCP21_STR[] = "VMEXIT_EXCP21";
 385 static const char VMEXIT_EXCP22_STR[] = "VMEXIT_EXCP22";
 386 static const char VMEXIT_EXCP23_STR[] = "VMEXIT_EXCP23";
 387 static const char VMEXIT_EXCP24_STR[] = "VMEXIT_EXCP24";
 388 static const char VMEXIT_EXCP25_STR[] = "VMEXIT_EXCP25";
 389 static const char VMEXIT_EXCP26_STR[] = "VMEXIT_EXCP26";
 390 static const char VMEXIT_EXCP27_STR[] = "VMEXIT_EXCP27";
 391 static const char VMEXIT_EXCP28_STR[] = "VMEXIT_EXCP28";
 392 static const char VMEXIT_EXCP29_STR[] = "VMEXIT_EXCP29";
 393 static const char VMEXIT_EXCP30_STR[] = "VMEXIT_EXCP30";
 394 static const char VMEXIT_EXCP31_STR[] = "VMEXIT_EXCP31";
 395 static const char VMEXIT_INTR_STR[] = "VMEXIT_INTR";
 396 static const char VMEXIT_NMI_STR[] = "VMEXIT_NMI";
 397 static const char VMEXIT_SMI_STR[] = "VMEXIT_SMI";
 398 static const char VMEXIT_INIT_STR[] = "VMEXIT_INIT";
 399 static const char VMEXIT_VINITR_STR[] = "VMEXIT_VINITR";
 400 static const char VMEXIT_CR0_SEL_WRITE_STR[] = "VMEXIT_CR0_SEL_WRITE";
 401 static const char VMEXIT_IDTR_READ_STR[] = "VMEXIT_IDTR_READ";
 402 static const char VMEXIT_GDTR_READ_STR[] = "VMEXIT_GDTR_READ";
 403 static const char VMEXIT_LDTR_READ_STR[] = "VMEXIT_LDTR_READ";
 404 static const char VMEXIT_TR_READ_STR[] = "VMEXIT_TR_READ";
 405 static const char VMEXIT_IDTR_WRITE_STR[] = "VMEXIT_IDTR_WRITE";
 406 static const char VMEXIT_GDTR_WRITE_STR[] = "VMEXIT_GDTR_WRITE";
 407 static const char VMEXIT_LDTR_WRITE_STR[] = "VMEXIT_LDTR_WRITE";
 408 static const char VMEXIT_TR_WRITE_STR[] = "VMEXIT_TR_WRITE";
 409 static const char VMEXIT_RDTSC_STR[] = "VMEXIT_RDTSC";
 410 static const char VMEXIT_RDPMC_STR[] = "VMEXIT_RDPMC";
 411 static const char VMEXIT_PUSHF_STR[] = "VMEXIT_PUSHF";
 412 static const char VMEXIT_POPF_STR[] = "VMEXIT_POPF";
 413 static const char VMEXIT_CPUID_STR[] = "VMEXIT_CPUID";
 414 static const char VMEXIT_RSM_STR[] = "VMEXIT_RSM";
 415 static const char VMEXIT_IRET_STR[] = "VMEXIT_IRET";
 416 static const char VMEXIT_SWINT_STR[] = "VMEXIT_SWINT";
 417 static const char VMEXIT_INVD_STR[] = "VMEXIT_INVD";
 418 static const char VMEXIT_PAUSE_STR[] = "VMEXIT_PAUSE";
 419 static const char VMEXIT_HLT_STR[] = "VMEXIT_HLT";
 420 static const char VMEXIT_INVLPG_STR[] = "VMEXIT_INVLPG";
 421 static const char VMEXIT_INVLPGA_STR[] = "VMEXIT_INVLPGA";
 422 static const char VMEXIT_IOIO_STR[] = "VMEXIT_IOIO";
 423 static const char VMEXIT_MSR_STR[] = "VMEXIT_MSR";
 424 static const char VMEXIT_TASK_SWITCH_STR[] = "VMEXIT_TASK_SWITCH";
 425 static const char VMEXIT_FERR_FREEZE_STR[] = "VMEXIT_FERR_FREEZE";
 426 static const char VMEXIT_SHUTDOWN_STR[] = "VMEXIT_SHUTDOWN";
 427 static const char VMEXIT_VMRUN_STR[] = "VMEXIT_VMRUN";
 428 static const char VMEXIT_VMMCALL_STR[] = "VMEXIT_VMMCALL";
 429 static const char VMEXIT_VMLOAD_STR[] = "VMEXIT_VMLOAD";
 430 static const char VMEXIT_VMSAVE_STR[] = "VMEXIT_VMSAVE";
 431 static const char VMEXIT_STGI_STR[] = "VMEXIT_STGI";
 432 static const char VMEXIT_CLGI_STR[] = "VMEXIT_CLGI";
 433 static const char VMEXIT_SKINIT_STR[] = "VMEXIT_SKINIT";
 434 static const char VMEXIT_RDTSCP_STR[] = "VMEXIT_RDTSCP";
 435 static const char VMEXIT_ICEBP_STR[] = "VMEXIT_ICEBP";
 436 static const char VMEXIT_WBINVD_STR[] = "VMEXIT_WBINVD";
 437 static const char VMEXIT_MONITOR_STR[] = "VMEXIT_MONITOR";
 438 static const char VMEXIT_MWAIT_STR[] = "VMEXIT_MWAIT";
 439 static const char VMEXIT_MWAIT_CONDITIONAL_STR[] = "VMEXIT_MWAIT_CONDITIONAL";
 440 static const char VMEXIT_NPF_STR[] = "VMEXIT_NPF";
 441 static const char VMEXIT_INVALID_VMCB_STR[] = "VMEXIT_INVALID_VMCB";
 442
 443
 444
 445 const char * vmexit_code_to_str(uint_t exit_code) {
 446     switch(exit_code) {
 447         case VMEXIT_CR0_READ:
 448             return VMEXIT_CR0_READ_STR;
 449         case VMEXIT_CR1_READ:
 450             return VMEXIT_CR1_READ_STR;
 451         case VMEXIT_CR2_READ:
 452             return VMEXIT_CR2_READ_STR;
 453         case VMEXIT_CR3_READ:
 454             return VMEXIT_CR3_READ_STR;
 455         case VMEXIT_CR4_READ:
 456             return VMEXIT_CR4_READ_STR;
 457         case VMEXIT_CR5_READ:
 458             return VMEXIT_CR5_READ_STR;
 459         case VMEXIT_CR6_READ:
 460             return VMEXIT_CR6_READ_STR;
 461         case VMEXIT_CR7_READ:
 462             return VMEXIT_CR7_READ_STR;
 463         case VMEXIT_CR8_READ:
 464             return VMEXIT_CR8_READ_STR;
 465         case VMEXIT_CR9_READ:
 466             return VMEXIT_CR9_READ_STR;
 467         case VMEXIT_CR10_READ:
 468             return VMEXIT_CR10_READ_STR;
 469         case VMEXIT_CR11_READ:
 470             return VMEXIT_CR11_READ_STR;
 471         case VMEXIT_CR12_READ:
 472             return VMEXIT_CR12_READ_STR;
 473         case VMEXIT_CR13_READ:
 474             return VMEXIT_CR13_READ_STR;
 475         case VMEXIT_CR14_READ:
 476             return VMEXIT_CR14_READ_STR;
 477         case VMEXIT_CR15_READ:
 478             return VMEXIT_CR15_READ_STR;
 479         case VMEXIT_CR0_WRITE:
 480             return VMEXIT_CR0_WRITE_STR;
 481         case VMEXIT_CR1_WRITE:
 482             return VMEXIT_CR1_WRITE_STR;
 483         case VMEXIT_CR2_WRITE:
 484             return VMEXIT_CR2_WRITE_STR;
 485         case VMEXIT_CR3_WRITE:
 486             return VMEXIT_CR3_WRITE_STR;
 487         case VMEXIT_CR4_WRITE:
 488             return VMEXIT_CR4_WRITE_STR;
 489         case VMEXIT_CR5_WRITE:
 490             return VMEXIT_CR5_WRITE_STR;
 491         case VMEXIT_CR6_WRITE:
 492             return VMEXIT_CR6_WRITE_STR;
 493         case VMEXIT_CR7_WRITE:
 494             return VMEXIT_CR7_WRITE_STR;
 495         case VMEXIT_CR8_WRITE:
 496             return VMEXIT_CR8_WRITE_STR;
 497         case VMEXIT_CR9_WRITE:
 498             return VMEXIT_CR9_WRITE_STR;
 499         case VMEXIT_CR10_WRITE:
 500             return VMEXIT_CR10_WRITE_STR;
 501         case VMEXIT_CR11_WRITE:
 502             return VMEXIT_CR11_WRITE_STR;
 503         case VMEXIT_CR12_WRITE:
 504             return VMEXIT_CR12_WRITE_STR;
 505         case VMEXIT_CR13_WRITE:
 506             return VMEXIT_CR13_WRITE_STR;
 507         case VMEXIT_CR14_WRITE:
 508             return VMEXIT_CR14_WRITE_STR;
 509         case VMEXIT_CR15_WRITE:
 510             return VMEXIT_CR15_WRITE_STR;
 511         case VMEXIT_DR0_READ:
 512             return VMEXIT_DR0_READ_STR;
 513         case VMEXIT_DR1_READ:
 514             return VMEXIT_DR1_READ_STR;
 515         case VMEXIT_DR2_READ:
 516             return VMEXIT_DR2_READ_STR;
 517         case VMEXIT_DR3_READ:
 518             return VMEXIT_DR3_READ_STR;
 519         case VMEXIT_DR4_READ:
 520             return VMEXIT_DR4_READ_STR;
 521         case VMEXIT_DR5_READ:
 522             return VMEXIT_DR5_READ_STR;
 523         case VMEXIT_DR6_READ:
 524             return VMEXIT_DR6_READ_STR;
 525         case VMEXIT_DR7_READ:
 526             return VMEXIT_DR7_READ_STR;
 527         case VMEXIT_DR8_READ:
 528             return VMEXIT_DR8_READ_STR;
 529         case VMEXIT_DR9_READ:
 530             return VMEXIT_DR9_READ_STR;
 531         case VMEXIT_DR10_READ:
 532             return VMEXIT_DR10_READ_STR;
 533         case VMEXIT_DR11_READ:
 534             return VMEXIT_DR11_READ_STR;
 535         case VMEXIT_DR12_READ:
 536             return VMEXIT_DR12_READ_STR;
 537         case VMEXIT_DR13_READ:
 538             return VMEXIT_DR13_READ_STR;
 539         case VMEXIT_DR14_READ:
 540             return VMEXIT_DR14_READ_STR;
 541         case VMEXIT_DR15_READ:
 542             return VMEXIT_DR15_READ_STR;
 543         case VMEXIT_DR0_WRITE:
 544             return VMEXIT_DR0_WRITE_STR;
 545         case VMEXIT_DR1_WRITE:
 546             return VMEXIT_DR1_WRITE_STR;
 547         case VMEXIT_DR2_WRITE:
 548             return VMEXIT_DR2_WRITE_STR;
 549         case VMEXIT_DR3_WRITE:
 550             return VMEXIT_DR3_WRITE_STR;
 551         case VMEXIT_DR4_WRITE:
 552             return VMEXIT_DR4_WRITE_STR;
 553         case VMEXIT_DR5_WRITE:
 554             return VMEXIT_DR5_WRITE_STR;
 555         case VMEXIT_DR6_WRITE:
 556             return VMEXIT_DR6_WRITE_STR;
 557         case VMEXIT_DR7_WRITE:
 558             return VMEXIT_DR7_WRITE_STR;
 559         case VMEXIT_DR8_WRITE:
 560             return VMEXIT_DR8_WRITE_STR;
 561         case VMEXIT_DR9_WRITE:
 562             return VMEXIT_DR9_WRITE_STR;
 563         case VMEXIT_DR10_WRITE:
 564             return VMEXIT_DR10_WRITE_STR;
 565         case VMEXIT_DR11_WRITE:
 566             return VMEXIT_DR11_WRITE_STR;
 567         case VMEXIT_DR12_WRITE:
 568             return VMEXIT_DR12_WRITE_STR;
 569         case VMEXIT_DR13_WRITE:
 570             return VMEXIT_DR13_WRITE_STR;
 571         case VMEXIT_DR14_WRITE:
 572             return VMEXIT_DR14_WRITE_STR;
 573         case VMEXIT_DR15_WRITE:
 574             return VMEXIT_DR15_WRITE_STR;
 575         case VMEXIT_EXCP0:
 576             return VMEXIT_EXCP0_STR;
 577         case VMEXIT_EXCP1:
 578             return VMEXIT_EXCP1_STR;
 579         case VMEXIT_EXCP2:
 580             return VMEXIT_EXCP2_STR;
 581         case VMEXIT_EXCP3:
 582             return VMEXIT_EXCP3_STR;
 583         case VMEXIT_EXCP4:
 584             return VMEXIT_EXCP4_STR;
 585         case VMEXIT_EXCP5:
 586             return VMEXIT_EXCP5_STR;
 587         case VMEXIT_EXCP6:
 588             return VMEXIT_EXCP6_STR;
 589         case VMEXIT_EXCP7:
 590             return VMEXIT_EXCP7_STR;
 591         case VMEXIT_EXCP8:
 592             return VMEXIT_EXCP8_STR;
 593         case VMEXIT_EXCP9:
 594             return VMEXIT_EXCP9_STR;
 595         case VMEXIT_EXCP10:
 596             return VMEXIT_EXCP10_STR;
 597         case VMEXIT_EXCP11:
 598             return VMEXIT_EXCP11_STR;
 599         case VMEXIT_EXCP12:
 600             return VMEXIT_EXCP12_STR;
 601         case VMEXIT_EXCP13:
 602             return VMEXIT_EXCP13_STR;
 603         case VMEXIT_EXCP14:
 604             return VMEXIT_EXCP14_STR;
 605         case VMEXIT_EXCP15:
 606             return VMEXIT_EXCP15_STR;
 607         case VMEXIT_EXCP16:
 608             return VMEXIT_EXCP16_STR;
 609         case VMEXIT_EXCP17:
 610             return VMEXIT_EXCP17_STR;
 611         case VMEXIT_EXCP18:
 612             return VMEXIT_EXCP18_STR;
 613         case VMEXIT_EXCP19:
 614             return VMEXIT_EXCP19_STR;
 615         case VMEXIT_EXCP20:
 616             return VMEXIT_EXCP20_STR;
 617         case VMEXIT_EXCP21:
 618             return VMEXIT_EXCP21_STR;
 619         case VMEXIT_EXCP22:
 620             return VMEXIT_EXCP22_STR;
 621         case VMEXIT_EXCP23:
 622             return VMEXIT_EXCP23_STR;
 623         case VMEXIT_EXCP24:
 624             return VMEXIT_EXCP24_STR;
 625         case VMEXIT_EXCP25:
 626             return VMEXIT_EXCP25_STR;
 627         case VMEXIT_EXCP26:
 628             return VMEXIT_EXCP26_STR;
 629         case VMEXIT_EXCP27:
 630             return VMEXIT_EXCP27_STR;
 631         case VMEXIT_EXCP28:
 632             return VMEXIT_EXCP28_STR;
 633         case VMEXIT_EXCP29:
 634             return VMEXIT_EXCP29_STR;
 635         case VMEXIT_EXCP30:
 636             return VMEXIT_EXCP30_STR;
 637         case VMEXIT_EXCP31:
 638             return VMEXIT_EXCP31_STR;
 639         case VMEXIT_INTR:
 640             return VMEXIT_INTR_STR;
 641         case VMEXIT_NMI:
 642             return VMEXIT_NMI_STR;
 643         case VMEXIT_SMI:
 644             return VMEXIT_SMI_STR;
 645         case VMEXIT_INIT:
 646             return VMEXIT_INIT_STR;
 647         case VMEXIT_VINITR:
 648             return VMEXIT_VINITR_STR;
 649         case VMEXIT_CR0_SEL_WRITE:
 650             return VMEXIT_CR0_SEL_WRITE_STR;
 651         case VMEXIT_IDTR_READ:
 652             return VMEXIT_IDTR_READ_STR;
 653         case VMEXIT_GDTR_READ:
 654             return VMEXIT_GDTR_READ_STR;
 655         case VMEXIT_LDTR_READ:
 656             return VMEXIT_LDTR_READ_STR;
 657         case VMEXIT_TR_READ:
 658             return VMEXIT_TR_READ_STR;
 659         case VMEXIT_IDTR_WRITE:
 660             return VMEXIT_IDTR_WRITE_STR;
 661         case VMEXIT_GDTR_WRITE:
 662             return VMEXIT_GDTR_WRITE_STR;
 663         case VMEXIT_LDTR_WRITE:
 664             return VMEXIT_LDTR_WRITE_STR;
 665         case VMEXIT_TR_WRITE:
 666             return VMEXIT_TR_WRITE_STR;
 667         case VMEXIT_RDTSC:
 668             return VMEXIT_RDTSC_STR;
 669         case VMEXIT_RDPMC:
 670             return VMEXIT_RDPMC_STR;
 671         case VMEXIT_PUSHF:
 672             return VMEXIT_PUSHF_STR;
 673         case VMEXIT_POPF:
 674             return VMEXIT_POPF_STR;
 675         case VMEXIT_CPUID:
 676             return VMEXIT_CPUID_STR;
 677         case VMEXIT_RSM:
 678             return VMEXIT_RSM_STR;
 679         case VMEXIT_IRET:
 680             return VMEXIT_IRET_STR;
 681         case VMEXIT_SWINT:
 682             return VMEXIT_SWINT_STR;
 683         case VMEXIT_INVD:
 684             return VMEXIT_INVD_STR;
 685         case VMEXIT_PAUSE:
 686             return VMEXIT_PAUSE_STR;
 687         case VMEXIT_HLT:
 688             return VMEXIT_HLT_STR;
 689         case VMEXIT_INVLPG:
 690             return VMEXIT_INVLPG_STR;
 691         case VMEXIT_INVLPGA:
 692             return VMEXIT_INVLPGA_STR;
 693         case VMEXIT_IOIO:
 694             return VMEXIT_IOIO_STR;
 695         case VMEXIT_MSR:
 696             return VMEXIT_MSR_STR;
 697         case VMEXIT_TASK_SWITCH:
 698             return VMEXIT_TASK_SWITCH_STR;
 699         case VMEXIT_FERR_FREEZE:
 700             return VMEXIT_FERR_FREEZE_STR;
 701         case VMEXIT_SHUTDOWN:
 702             return VMEXIT_SHUTDOWN_STR;
 703         case VMEXIT_VMRUN:
 704             return VMEXIT_VMRUN_STR;
 705         case VMEXIT_VMMCALL:
 706             return VMEXIT_VMMCALL_STR;
 707         case VMEXIT_VMLOAD:
 708             return VMEXIT_VMLOAD_STR;
 709         case VMEXIT_VMSAVE:
 710             return VMEXIT_VMSAVE_STR;
 711         case VMEXIT_STGI:
 712             return VMEXIT_STGI_STR;
 713         case VMEXIT_CLGI:
 714             return VMEXIT_CLGI_STR;
 715         case VMEXIT_SKINIT:
 716             return VMEXIT_SKINIT_STR;
 717         case VMEXIT_RDTSCP:
 718             return VMEXIT_RDTSCP_STR;
 719         case VMEXIT_ICEBP:
 720             return VMEXIT_ICEBP_STR;
 721         case VMEXIT_WBINVD:
 722             return VMEXIT_WBINVD_STR;
 723         case VMEXIT_MONITOR:
 724             return VMEXIT_MONITOR_STR;
 725         case VMEXIT_MWAIT:
 726             return VMEXIT_MWAIT_STR;
 727         case VMEXIT_MWAIT_CONDITIONAL:
 728             return VMEXIT_MWAIT_CONDITIONAL_STR;
 729         case VMEXIT_NPF:
 730             return VMEXIT_NPF_STR;
 731         case VMEXIT_INVALID_VMCB:
 732             return VMEXIT_INVALID_VMCB_STR;
 733     }
 734     return NULL;
 735 }