Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Succesfully launches and jumps into the exit handler. Need to write a proper exit...
[palacios.git] / palacios / src / palacios / vmcs.c
index 35dc5e1..a7da803 100644 (file)
  */
 
 #include <palacios/vmcs.h>
+#include <palacios/vmx_lowlevel.h>
+#include <palacios/vmm.h>
 
 
+// static const char * v3_vmcs_field_to_str(vmcs_field_t field);
 
 //extern char * exception_names;
 //
@@ -27,7 +30,7 @@
 //
 
 
-static inline void print_vmcs_field(uint_t vmcs_index) {
+static inline void print_vmcs_field(vmcs_field_t vmcs_index) {
     int len = v3_vmcs_get_field_len(vmcs_index);
     addr_t val;
     
@@ -37,130 +40,143 @@ static inline void print_vmcs_field(uint_t vmcs_index) {
     };
     
     if (len == 2) {
-       PrintDebug("%s: %x\n", v3_vmcs_get_field_name(vmcs_index), (uint16_t)val);
+       PrintDebug("%s: %x\n", v3_vmcs_field_to_str(vmcs_index), (uint16_t)val);
     } else if (len == 4) {
-       PrintDebug("%s: %x\n", v3_vmcs_get_field_name(vmcs_index), (uint32_t)val);
+       PrintDebug("%s: %x\n", v3_vmcs_field_to_str(vmcs_index), (uint32_t)val);
     } else if (len == 8) {
-       PrintDebug("%s: %p\n", v3_vmcs_get_field_name(vmcs_index), (void *)(addr_t)val);
+       PrintDebug("%s: %p\n", v3_vmcs_field_to_str(vmcs_index), (void *)(addr_t)val);
     }
 }
 
 
-static inline void print_vmcs_segments() {
-    // see vm_guest.c
-}
-
-
-
-
-
-void print_debug_vmcs_load_guest() {
-    const int wordsize = sizeof(addr_t);
-    uint64_t temp;
-    vmcs_segment tmp_seg;
-
-    PrintDebug("\n====== Loading Guest State ======\n");
-    PRINT_VMREAD("Guest CR0: %x\n", GUEST_CR0, wordsize);
-    PRINT_VMREAD("Guest CR3: %x\n", GUEST_CR3, wordsize);
-    PRINT_VMREAD("Guest CR4: %x\n", GUEST_CR4, wordsize);
-    PRINT_VMREAD("Guest DR7: %x\n", GUEST_DR7, wordsize);
-
-    READ_VMCS_SEG(&tmp_seg,CS,wordsize);
-    print_vmcs_segment("CS", &tmp_seg);
-    
-    READ_VMCS_SEG(&tmp_seg,SS,wordsize);
-    print_vmcs_segment("SS", &tmp_seg);
-
-    READ_VMCS_SEG(&tmp,DS,wordsize);
-    print_vmcs_segment("DS", &tmp_seg);
-
-    READ_VMCS_SEG(&tmp_seg,ES,wordsize);
-    print_vmcs_segment("ES", &tmp_seg);
-
-    READ_VMCS_SEG(&tmp_seg,FS,wordsize);
-    print_vmcs_segment("FS", &tmp_seg);
-
-    READ_VMCS_SEG(&tmp_seg,GS,wordsize);
-    print_vmcs_segment("GS", &tmp_seg);
-
-    READ_VMCS_SEG(&tmp_seg,TR,wordsize);
-    print_vmcs_segment("TR", &tmp_seg);
 
-    READ_VMCS_SEG(&tmp_seg,LDTR,wordsize);
-    print_vmcs_segment("LDTR", &tmp_seg);
-    
-    PrintDebug("\n==GDTR==\n");
-    PRINT_VMREAD("GDTR Base: %x\n", GUEST_GDTR_BASE, wordsize);
-    PRINT_VMREAD("GDTR Limit: %x\n", GUEST_GDTR_LIMIT, 32);
-    PrintDebug("====\n");
-
-    PrintDebug("\n==LDTR==\n");
-    PRINT_VMREAD("LDTR Base: %x\n", GUEST_LDTR_BASE, wordsize);
-    PRINT_VMREAD("LDTR Limit: %x\n", GUEST_LDTR_LIMIT, 32);
-    PrintDebug("=====\n");
-
-    PRINT_VMREAD("Guest RSP: %x\n", GUEST_RSP, wordsize);
-    PRINT_VMREAD("Guest RIP: %x\n", GUEST_RIP, wordsize);
-    PRINT_VMREAD("Guest RFLAGS: %x\n", GUEST_RFLAGS, wordsize);
-    PRINT_VMREAD("Guest Activity state: %x\n", GUEST_ACTIVITY_STATE, 32);
-    PRINT_VMREAD("Guest Interruptibility state: %x\n", GUEST_INT_STATE, 32);
-    PRINT_VMREAD("Guest pending debug: %x\n", GUEST_PENDING_DEBUG_EXCS, wordsize);
-
-    PRINT_VMREAD("IA32_DEBUGCTL: %x\n", GUEST_IA32_DEBUGCTL, 64);
-    PRINT_VMREAD("IA32_SYSENTER_CS: %x\n", GUEST_IA32_SYSENTER_CS, 32);
-    PRINT_VMREAD("IA32_SYSTENTER_ESP: %x\n", GUEST_IA32_SYSENTER_ESP, wordsize);
-    PRINT_VMREAD("IA32_SYSTENTER_EIP: %x\n", GUEST_IA32_SYSENTER_EIP, wordsize);
-    PRINT_VMREAD("IA32_PERF_GLOBAL_CTRL: %x\n", GUEST_IA32_PERF_GLOBAL_CTRL, wordsize);
-    PRINT_VMREAD("VMCS Link Ptr: %x\n", VMCS_LINK_PTR, 64);
-    // TODO: Maybe add VMX preemption timer and PDTE (Intel 20-8 Vol. 3b)
-}
-
-void print_debug_load_host() {
-    const int wordsize = sizeof(addr_t);
-    uint64_t temp;
-    vmcs_segment tmp_seg;
-
-    PrintDebug("\n====== Host State ========\n");
-    PRINT_VMREAD("Host CR0: %x\n", HOST_CR0, wordsize);
-    PRINT_VMREAD("Host CR3: %x\n", HOST_CR3, wordsize);
-    PRINT_VMREAD("Host CR4: %x\n", HOST_CR4, wordsize);
-    PRINT_VMREAD("Host RSP: %x\n", HOST_RSP, wordsize);
-    PRINT_VMREAD("Host RIP: %x\n", HOST_RIP, wordsize);
-    PRINT_VMREAD("IA32_SYSENTER_CS: %x\n", HOST_IA32_SYSENTER_CS, 32);
-    PRINT_VMREAD("IA32_SYSENTER_ESP: %x\n", HOST_IA32_SYSENTER_ESP, wordsize);
-    PRINT_VMREAD("IA32_SYSENTER_EIP: %x\n", HOST_IA32_SYSENTER_EIP, wordsize);
-        
-    PRINT_VMREAD("Host CS Selector: %x\n", HOST_CS_SELECTOR, 16);
-    PRINT_VMREAD("Host SS Selector: %x\n", HOST_SS_SELECTOR, 16);
-    PRINT_VMREAD("Host DS Selector: %x\n", HOST_DS_SELECTOR, 16);
-    PRINT_VMREAD("Host ES Selector: %x\n", HOST_ES_SELECTOR, 16);
-    PRINT_VMREAD("Host FS Selector: %x\n", HOST_FS_SELECTOR, 16);
-    PRINT_VMREAD("Host GS Selector: %x\n", HOST_GS_SELECTOR, 16);
-    PRINT_VMREAD("Host TR Selector: %x\n", HOST_TR_SELECTOR, 16);
-
-    PRINT_VMREAD("Host FS Base: %x\n", HOST_FS_BASE, wordsize);
-    PRINT_VMREAD("Host GS Base: %x\n", HOST_GS_BASE, wordsize);
-    PRINT_VMREAD("Host TR Base: %x\n", HOST_TR_BASE, wordsize);
-    PRINT_VMREAD("Host GDTR Base: %x\n", HOST_GDTR_BASE, wordsize);
-    PRINT_VMREAD("Host IDTR Base: %x\n", HOSE_IDTR_BASE, wordsize);
+void v3_print_vmcs_guest_state()
+{
+    PrintDebug("\n===== VMCS Guest State =====\n");
+    print_vmcs_field(VMCS_GUEST_RIP);
+    print_vmcs_field(VMCS_GUEST_RSP);
+    print_vmcs_field(VMCS_GUEST_CR0);
+    print_vmcs_field(VMCS_GUEST_CR3);
+    print_vmcs_field(VMCS_GUEST_CR4);
+    print_vmcs_field(VMCS_GUEST_DR7);
+
+    PrintDebug("\n=== CS Segment===\n");
+    print_vmcs_field(VMCS_GUEST_CS_SELECTOR);
+    print_vmcs_field(VMCS_GUEST_CS_BASE);
+    print_vmcs_field(VMCS_GUEST_CS_LIMIT);
+    print_vmcs_field(VMCS_GUEST_CS_ACCESS);
+
+    PrintDebug("\n=== SS Segment ===\n");
+    print_vmcs_field(VMCS_GUEST_SS_SELECTOR);
+    print_vmcs_field(VMCS_GUEST_SS_BASE);
+    print_vmcs_field(VMCS_GUEST_SS_LIMIT);
+    print_vmcs_field(VMCS_GUEST_SS_ACCESS);
+
+    PrintDebug("\n=== DS Segment ===\n");
+    print_vmcs_field(VMCS_GUEST_DS_SELECTOR);
+    print_vmcs_field(VMCS_GUEST_DS_BASE);
+    print_vmcs_field(VMCS_GUEST_DS_LIMIT);
+    print_vmcs_field(VMCS_GUEST_DS_ACCESS);
+
+    PrintDebug("\n=== ES Segment ===\n");
+    print_vmcs_field(VMCS_GUEST_ES_SELECTOR);
+    print_vmcs_field(VMCS_GUEST_ES_BASE);
+    print_vmcs_field(VMCS_GUEST_ES_LIMIT);
+    print_vmcs_field(VMCS_GUEST_ES_ACCESS);
+
+    PrintDebug("\n=== FS Segment ===\n");
+    print_vmcs_field(VMCS_GUEST_FS_SELECTOR);
+    print_vmcs_field(VMCS_GUEST_FS_BASE);
+    print_vmcs_field(VMCS_GUEST_FS_LIMIT);
+    print_vmcs_field(VMCS_GUEST_FS_ACCESS);
+
+    PrintDebug("\n=== GS Segment ===\n");
+    print_vmcs_field(VMCS_GUEST_GS_SELECTOR);
+    print_vmcs_field(VMCS_GUEST_GS_BASE);
+    print_vmcs_field(VMCS_GUEST_GS_LIMIT);
+    print_vmcs_field(VMCS_GUEST_GS_ACCESS);
+
+    PrintDebug("\n=== LDTR Segment ===\n");
+    print_vmcs_field(VMCS_GUEST_LDTR_SELECTOR);
+    print_vmcs_field(VMCS_GUEST_LDTR_BASE);
+    print_vmcs_field(VMCS_GUEST_LDTR_LIMIT);
+    print_vmcs_field(VMCS_GUEST_LDTR_ACCESS);
+
+    PrintDebug("\n=== TR Segment ===\n");
+    print_vmcs_field(VMCS_GUEST_TR_SELECTOR);
+    print_vmcs_field(VMCS_GUEST_TR_BASE);
+    print_vmcs_field(VMCS_GUEST_TR_LIMIT);
+    print_vmcs_field(VMCS_GUEST_TR_ACCESS);
+
+    PrintDebug("\n=== GDTR ===\n");
+    print_vmcs_field(VMCS_GUEST_GDTR_BASE);
+    print_vmcs_field(VMCS_GUEST_GDTR_LIMIT);
+
+    PrintDebug("\n=== IDTR ===\n");
+    print_vmcs_field(VMCS_GUEST_IDTR_BASE);
+    print_vmcs_field(VMCS_GUEST_IDTR_LIMIT);
+
+    PrintDebug("\n");
+    print_vmcs_field(VMCS_GUEST_RFLAGS);
+    print_vmcs_field(VMCS_GUEST_ACTIVITY_STATE);
+    print_vmcs_field(VMCS_GUEST_INT_STATE);
+    print_vmcs_field(VMCS_GUEST_PENDING_DBG_EXCP);
+
+    print_vmcs_field(VMCS_GUEST_DBG_CTL);
+    print_vmcs_field(VMCS_GUEST_SYSENTER_CS);
+    print_vmcs_field(VMCS_GUEST_SYSENTER_ESP);
+    print_vmcs_field(VMCS_GUEST_SYSENTER_EIP);
+    print_vmcs_field(VMCS_GUEST_PERF_GLOBAL_CTRL);
+    print_vmcs_field(VMCS_LINK_PTR);
+
+    PrintDebug("\n");
 }
-
-void print_vmcs_segment(char * name, vmcs_segment* seg)
+       
+void v3_print_vmcs_host_state()
 {
-    PrintDebug("\n==VMCS %s Segment==\n",name);
-    PrintDebug("\tSelector: %x\n", seg->selector);
-    PrintDebug("\tBase Address: %x\n", seg->baseAddr);
-    PrintDebug("\tLimit: %x\n", seg->limit);
-    PrintDebug("\tAccess: %x\n", seg->access);
+    PrintDebug("=== Control Fields===\n");
+    print_vmcs_field(VMCS_PIN_CTRLS);
+    print_vmcs_field(VMCS_PROC_CTRLS);
+    print_vmcs_field(VMCS_EXIT_CTRLS);
+    print_vmcs_field(VMCS_ENTRY_CTRLS);
+    print_vmcs_field(VMCS_EXCP_BITMAP);
+
+    PrintDebug("\n");
+    print_vmcs_field(VMCS_HOST_CR0);
+    print_vmcs_field(VMCS_HOST_CR3);
+    print_vmcs_field(VMCS_HOST_CR4);
+    print_vmcs_field(VMCS_HOST_RSP);
+    print_vmcs_field(VMCS_HOST_RIP);
+    print_vmcs_field(VMCS_HOST_SYSENTER_CS);
+    print_vmcs_field(VMCS_HOST_SYSENTER_ESP);
+    print_vmcs_field(VMCS_HOST_SYSENTER_EIP);
+    
+    PrintDebug("\n=== Segment Registers===\n");
+    PrintDebug("Selector:\n");
+    print_vmcs_field(VMCS_HOST_CS_SELECTOR);
+    print_vmcs_field(VMCS_HOST_SS_SELECTOR);
+    print_vmcs_field(VMCS_HOST_DS_SELECTOR);
+    print_vmcs_field(VMCS_HOST_ES_SELECTOR);
+    print_vmcs_field(VMCS_HOST_FS_SELECTOR);
+    print_vmcs_field(VMCS_HOST_GS_SELECTOR);
+    print_vmcs_field(VMCS_HOST_TR_SELECTOR);
+
+    PrintDebug("\nBase:\n");
+    print_vmcs_field(VMCS_HOST_FS_BASE);
+    print_vmcs_field(VMCS_HOST_GS_BASE);
+    print_vmcs_field(VMCS_HOST_TR_BASE);
+    print_vmcs_field(VMCS_HOST_GDTR_BASE);
+    print_vmcs_field(VMCS_HOST_IDTR_BASE);
+
+    PrintDebug("\n");
 }
 
 /*
  * Returns the field length in bytes
  */
-int vmcs_field_length(vmcs_field_t field)
-{
-    switch(field)
-    {
+int v3_vmcs_get_field_len(vmcs_field_t field) {
+    switch(field)  {
+       /* 16 bit Control Fields */
         case VMCS_GUEST_ES_SELECTOR:
         case VMCS_GUEST_CS_SELECTOR:
         case VMCS_GUEST_SS_SELECTOR:
@@ -169,7 +185,6 @@ int vmcs_field_length(vmcs_field_t field)
         case VMCS_GUEST_GS_SELECTOR:
         case VMCS_GUEST_LDTR_SELECTOR:
         case VMCS_GUEST_TR_SELECTOR:
-            /* 16 bit host state */
         case VMCS_HOST_ES_SELECTOR:
         case VMCS_HOST_CS_SELECTOR:
         case VMCS_HOST_SS_SELECTOR:
@@ -178,592 +193,554 @@ int vmcs_field_length(vmcs_field_t field)
         case VMCS_HOST_GS_SELECTOR:
         case VMCS_HOST_TR_SELECTOR:
             return 2;
-            /* 64 bit control fields */
-        case IO_BITMAP_A_ADDR:
-        case IO_BITMAP_A_ADDR_HIGH:
-        case IO_BITMAP_B_ADDR:
-        case IO_BITMAP_B_ADDR_HIGH:
-        case MSR_BITMAPS:
-        case MSR_BITMAPS_HIGH:
-        case VM_EXIT_MSR_STORE_ADDR:
-        case VM_EXIT_MSR_STORE_ADDR_HIGH:
-        case VM_EXIT_MSR_LOAD_ADDR:
-        case VM_EXIT_MSR_LOAD_ADDR_HIGH:
-        case VM_ENTRY_MSR_LOAD_ADDR:
-        case VM_ENTRY_MSR_LOAD_ADDR_HIGH:
-        case VMCS_EXEC_PTR:
+
+       /* 32 bit Control Fields */
+        case VMCS_PIN_CTRLS:
+        case VMCS_PROC_CTRLS:
+        case VMCS_EXCP_BITMAP:
+        case VMCS_PG_FAULT_ERR_MASK:
+        case VMCS_PG_FAULT_ERR_MATCH:
+        case VMCS_CR3_TGT_CNT:
+        case VMCS_EXIT_CTRLS:
+        case VMCS_EXIT_MSR_STORE_CNT:
+        case VMCS_EXIT_MSR_LOAD_CNT:
+        case VMCS_ENTRY_CTRLS:
+        case VMCS_ENTRY_MSR_LOAD_CNT:
+        case VMCS_ENTRY_INT_INFO:
+        case VMCS_ENTRY_EXCP_ERR:
+        case VMCS_ENTRY_INSTR_LEN:
+        case VMCS_TPR_THRESHOLD:
+        case VMCS_INSTR_ERR:
+        case VMCS_EXIT_REASON:
+        case VMCS_EXIT_INT_INFO:
+        case VMCS_EXIT_INT_ERR:
+        case VMCS_IDT_VECTOR_INFO:
+        case VMCS_IDT_VECTOR_ERR:
+        case VMCS_EXIT_INSTR_LEN:
+        case VMCS_VMX_INSTR_INFO:
+        case VMCS_GUEST_ES_LIMIT:
+        case VMCS_GUEST_CS_LIMIT:
+        case VMCS_GUEST_SS_LIMIT:
+        case VMCS_GUEST_DS_LIMIT:
+        case VMCS_GUEST_FS_LIMIT:
+        case VMCS_GUEST_GS_LIMIT:
+        case VMCS_GUEST_LDTR_LIMIT:
+        case VMCS_GUEST_TR_LIMIT:
+        case VMCS_GUEST_GDTR_LIMIT:
+        case VMCS_GUEST_IDTR_LIMIT:
+        case VMCS_GUEST_ES_ACCESS:
+        case VMCS_GUEST_CS_ACCESS:
+        case VMCS_GUEST_SS_ACCESS:
+        case VMCS_GUEST_DS_ACCESS:
+        case VMCS_GUEST_FS_ACCESS:
+        case VMCS_GUEST_GS_ACCESS:
+        case VMCS_GUEST_LDTR_ACCESS:
+        case VMCS_GUEST_TR_ACCESS:
+        case VMCS_GUEST_INT_STATE:
+        case VMCS_GUEST_ACTIVITY_STATE:
+        case VMCS_GUEST_SMBASE:
+        case VMCS_GUEST_SYSENTER_CS:
+        case VMCS_HOST_SYSENTER_CS:
+            return 4;
+
+
+       /* high bits of variable width fields
+        * We can probably just delete most of these....
+        */
+        case VMCS_IO_BITMAP_A_ADDR_HIGH:
+        case VMCS_IO_BITMAP_B_ADDR_HIGH:
+        case VMCS_MSR_BITMAP_HIGH:
+        case VMCS_EXIT_MSR_STORE_ADDR_HIGH:
+        case VMCS_EXIT_MSR_LOAD_ADDR_HIGH:
+        case VMCS_ENTRY_MSR_LOAD_ADDR_HIGH:
         case VMCS_EXEC_PTR_HIGH:
-        case TSC_OFFSET:
-        case TSC_OFFSET_HIGH:
-        case VIRT_APIC_PAGE_ADDR:
-        case VIRT_APIC_PAGE_ADDR_HIGH:
-            /* 64 bit guest state fields */
-        case VMCS_LINK_PTR:
+        case VMCS_TSC_OFFSET_HIGH:
+        case VMCS_VAPIC_ADDR_HIGH:
         case VMCS_LINK_PTR_HIGH:
-        case GUEST_IA32_DEBUGCTL:
-        case GUEST_IA32_DEBUGCTL_HIGH:
-        case GUEST_IA32_PERF_GLOBAL_CTRL:
-        case GUEST_IA32_PERF_GLOBAL_CTRL_HIGH:
-            return 8;
-            /* 32 bit control fields */
-        case PIN_VM_EXEC_CTRLS:
-        case PROC_VM_EXEC_CTRLS:
-        case EXCEPTION_BITMAP:
-        case PAGE_FAULT_ERROR_MASK:
-        case PAGE_FAULT_ERROR_MATCH:
-        case CR3_TARGET_COUNT:
-        case VM_EXIT_CTRLS:
-        case VM_EXIT_MSR_STORE_COUNT:
-        case VM_EXIT_MSR_LOAD_COUNT:
-        case VM_ENTRY_CTRLS:
-        case VM_ENTRY_MSR_LOAD_COUNT:
-        case VM_ENTRY_INT_INFO_FIELD:
-        case VM_ENTRY_EXCEPTION_ERROR:
-        case VM_ENTRY_INSTR_LENGTH:
-        case TPR_THRESHOLD:
-            /* 32 bit Read Only data fields */
-        case VM_INSTR_ERROR:
-        case EXIT_REASON:
-        case VM_EXIT_INT_INFO:
-        case VM_EXIT_INT_ERROR:
-        case IDT_VECTOR_INFO:
-        case IDT_VECTOR_ERROR:
-        case VM_EXIT_INSTR_LENGTH:
-        case VMX_INSTR_INFO:
-            /* 32 bit Guest state fields */
-        case GUEST_ES_LIMIT:
-        case GUEST_CS_LIMIT:
-        case GUEST_SS_LIMIT:
-        case GUEST_DS_LIMIT:
-        case GUEST_FS_LIMIT:
-        case GUEST_GS_LIMIT:
-        case GUEST_LDTR_LIMIT:
-        case GUEST_TR_LIMIT:
-        case GUEST_GDTR_LIMIT:
-        case GUEST_IDTR_LIMIT:
-        case GUEST_ES_ACCESS:
-        case GUEST_CS_ACCESS:
-        case GUEST_SS_ACCESS:
-        case GUEST_DS_ACCESS:
-        case GUEST_FS_ACCESS:
-        case GUEST_GS_ACCESS:
-        case GUEST_LDTR_ACCESS:
-        case GUEST_TR_ACCESS:
-        case GUEST_INT_STATE:
-        case GUEST_ACTIVITY_STATE:
-        case GUEST_SMBASE:
-        case GUEST_IA32_SYSENTER_CS:
-            /* 32 bit host state field */
-        case HOST_IA32_SYSENTER_CS:
+        case VMCS_GUEST_DBG_CTL_HIGH:
+        case VMCS_GUEST_PERF_GLOBAL_CTRL_HIGH:
             return 4;
+
             /* Natural Width Control Fields */
-        case CR0_GUEST_HOST_MASK:
-        case CR4_GUEST_HOST_MASK:
-        case CR0_READ_SHADOW:
-        case CR4_READ_SHADOW:
-        case CR3_TARGET_VALUE_0:
-        case CR3_TARGET_VALUE_1:
-        case CR3_TARGET_VALUE_2:
-        case CR3_TARGET_VALUE_3:
-            /* Natural Width Read Only Fields */
-        case EXIT_QUALIFICATION:
-        case IO_RCX:
-        case IO_RSI:
-        case IO_RDI:
-        case IO_RIP:
-        case GUEST_LINEAR_ADDR:
-            /* Natural Width Guest State Fields */
-        case GUEST_CR0:
-        case GUEST_CR3:
-        case GUEST_CR4:
-        case GUEST_ES_BASE:
-        case GUEST_CS_BASE:
-        case GUEST_SS_BASE:
-        case GUEST_DS_BASE:
-        case GUEST_FS_BASE:
-        case GUEST_GS_BASE:
-        case GUEST_LDTR_BASE:
-        case GUEST_TR_BASE:
-        case GUEST_GDTR_BASE:
-        case GUEST_IDTR_BASE:
-        case GUEST_DR7:
-        case GUEST_RSP:
-        case GUEST_RIP:
-        case GUEST_RFLAGS:
-        case GUEST_PENDING_DEBUG_EXCS:
-        case GUEST_IA32_SYSENTER_ESP:
-        case GUEST_IA32_SYSENTER_EIP:
-            /* Natural Width Host State Fields */
-        case HOST_CR0:
-        case HOST_CR3:
-        case HOST_CR4:
-        case HOST_FS_BASE:
-        case HOST_GS_BASE:
-        case HOST_TR_BASE:
-        case HOST_GDTR_BASE:
-        case HOST_IDTR_BASE:
-        case HOST_IA32_SYSENTER_ESP:
-        case HOST_IA32_SYSENTER_EIP:
-        case HOST_RSP:
-        case HOST_RIP:
-            /* Pin Based VM Execution Controls */
-            /* INTEL MANUAL: 20-10 vol 3B */
-        case EXTERNAL_INTERRUPT_EXITING:
-        case NMI_EXITING:
-        case VIRTUAL_NMIS:
-            /* Processor Based VM Execution Controls */
-            /* INTEL MANUAL: 20-11 vol. 3B */
-        case INTERRUPT_WINDOWS_EXIT:
-        case USE_TSC_OFFSETTING:
-        case HLT_EXITING:
-        case INVLPG_EXITING:
-        case MWAIT_EXITING:
-        case RDPMC_EXITING:
-        case RDTSC_EXITING:
-        case CR8_LOAD_EXITING:
-        case CR8_STORE_EXITING:
-        case USE_TPR_SHADOW:
-        case NMI_WINDOW_EXITING:
-        case MOVDR_EXITING:
-        case UNCONDITION_IO_EXITING:
-        case USE_IO_BITMAPS:
-        case USE_MSR_BITMAPS:
-        case MONITOR_EXITING:
-        case PAUSE_EXITING:
-            /* VM-Exit Controls */
-            /* INTEL MANUAL: 20-16 vol. 3B */
-        case HOST_ADDR_SPACE_SIZE:
-        case ACK_IRQ_ON_EXIT:
-#ifdef __V3_64BIT__
-            return 8;
-#else
-            return 4;
-#endif
+        case VMCS_IO_BITMAP_A_ADDR:
+        case VMCS_IO_BITMAP_B_ADDR:
+        case VMCS_MSR_BITMAP:
+        case VMCS_EXIT_MSR_STORE_ADDR:
+        case VMCS_EXIT_MSR_LOAD_ADDR:
+        case VMCS_ENTRY_MSR_LOAD_ADDR:
+        case VMCS_EXEC_PTR:
+        case VMCS_TSC_OFFSET:
+        case VMCS_VAPIC_ADDR:
+        case VMCS_LINK_PTR:
+        case VMCS_GUEST_DBG_CTL:
+        case VMCS_GUEST_PERF_GLOBAL_CTRL:
+        case VMCS_CR0_MASK:
+        case VMCS_CR4_MASK:
+        case VMCS_CR0_READ_SHDW:
+        case VMCS_CR4_READ_SHDW:
+        case VMCS_CR3_TGT_VAL_0:
+        case VMCS_CR3_TGT_VAL_1:
+        case VMCS_CR3_TGT_VAL_2:
+        case VMCS_CR3_TGT_VAL_3:
+        case VMCS_EXIT_QUAL:
+        case VMCS_IO_RCX:
+        case VMCS_IO_RSI:
+        case VMCS_IO_RDI:
+        case VMCS_IO_RIP:
+        case VMCS_GUEST_LINEAR_ADDR:
+        case VMCS_GUEST_CR0:
+        case VMCS_GUEST_CR3:
+        case VMCS_GUEST_CR4:
+        case VMCS_GUEST_ES_BASE:
+        case VMCS_GUEST_CS_BASE:
+        case VMCS_GUEST_SS_BASE:
+        case VMCS_GUEST_DS_BASE:
+        case VMCS_GUEST_FS_BASE:
+        case VMCS_GUEST_GS_BASE:
+        case VMCS_GUEST_LDTR_BASE:
+        case VMCS_GUEST_TR_BASE:
+        case VMCS_GUEST_GDTR_BASE:
+        case VMCS_GUEST_IDTR_BASE:
+        case VMCS_GUEST_DR7:
+        case VMCS_GUEST_RSP:
+        case VMCS_GUEST_RIP:
+        case VMCS_GUEST_RFLAGS:
+        case VMCS_GUEST_PENDING_DBG_EXCP:
+        case VMCS_GUEST_SYSENTER_ESP:
+        case VMCS_GUEST_SYSENTER_EIP:
+        case VMCS_HOST_CR0:
+        case VMCS_HOST_CR3:
+        case VMCS_HOST_CR4:
+        case VMCS_HOST_FS_BASE:
+        case VMCS_HOST_GS_BASE:
+        case VMCS_HOST_TR_BASE:
+        case VMCS_HOST_GDTR_BASE:
+        case VMCS_HOST_IDTR_BASE:
+        case VMCS_HOST_SYSENTER_ESP:
+        case VMCS_HOST_SYSENTER_EIP:
+        case VMCS_HOST_RSP:
+        case VMCS_HOST_RIP:
+            return sizeof(addr_t);
+
         default:
+           PrintError("Invalid VMCS field\n");
             return -1;
     }
 }
 
-char* vmcs_field_name(vmcs_field_t field)
-{   
-    case(field)
-    {
+
+
+
+
+
+
+
+
+
+
+
+static const char VMCS_GUEST_ES_SELECTOR_STR[] = "GUEST_ES_SELECTOR";
+static const char VMCS_GUEST_CS_SELECTOR_STR[] = "GUEST_CS_SELECTOR";
+static const char VMCS_GUEST_SS_SELECTOR_STR[] = "GUEST_SS_SELECTOR";
+static const char VMCS_GUEST_DS_SELECTOR_STR[] = "GUEST_DS_SELECTOR";
+static const char VMCS_GUEST_FS_SELECTOR_STR[] = "GUEST_FS_SELECTOR";
+static const char VMCS_GUEST_GS_SELECTOR_STR[] = "GUEST_GS_SELECTOR";
+static const char VMCS_GUEST_LDTR_SELECTOR_STR[] = "GUEST_LDTR_SELECTOR";
+static const char VMCS_GUEST_TR_SELECTOR_STR[] = "GUEST_TR_SELECTOR";
+static const char VMCS_HOST_ES_SELECTOR_STR[] = "HOST_ES_SELECTOR";
+static const char VMCS_HOST_CS_SELECTOR_STR[] = "HOST_CS_SELECTOR";
+static const char VMCS_HOST_SS_SELECTOR_STR[] = "HOST_SS_SELECTOR";
+static const char VMCS_HOST_DS_SELECTOR_STR[] = "HOST_DS_SELECTOR";
+static const char VMCS_HOST_FS_SELECTOR_STR[] = "HOST_FS_SELECTOR";
+static const char VMCS_HOST_GS_SELECTOR_STR[] = "HOST_GS_SELECTOR";
+static const char VMCS_HOST_TR_SELECTOR_STR[] = "HOST_TR_SELECTOR";
+static const char VMCS_IO_BITMAP_A_ADDR_STR[] = "IO_BITMAP_A_ADDR";
+static const char VMCS_IO_BITMAP_A_ADDR_HIGH_STR[] = "IO_BITMAP_A_ADDR_HIGH";
+static const char VMCS_IO_BITMAP_B_ADDR_STR[] = "IO_BITMAP_B_ADDR";
+static const char VMCS_IO_BITMAP_B_ADDR_HIGH_STR[] = "IO_BITMAP_B_ADDR_HIGH";
+static const char VMCS_MSR_BITMAP_STR[] = "MSR_BITMAPS";
+static const char VMCS_MSR_BITMAP_HIGH_STR[] = "MSR_BITMAPS_HIGH";
+static const char VMCS_EXIT_MSR_STORE_ADDR_STR[] = "EXIT_MSR_STORE_ADDR";
+static const char VMCS_EXIT_MSR_STORE_ADDR_HIGH_STR[] = "EXIT_MSR_STORE_ADDR_HIGH";
+static const char VMCS_EXIT_MSR_LOAD_ADDR_STR[] = "EXIT_MSR_LOAD_ADDR";
+static const char VMCS_EXIT_MSR_LOAD_ADDR_HIGH_STR[] = "EXIT_MSR_LOAD_ADDR_HIGH";
+static const char VMCS_ENTRY_MSR_LOAD_ADDR_STR[] = "ENTRY_MSR_LOAD_ADDR";
+static const char VMCS_ENTRY_MSR_LOAD_ADDR_HIGH_STR[] = "ENTRY_MSR_LOAD_ADDR_HIGH";
+static const char VMCS_EXEC_PTR_STR[] = "VMCS_EXEC_PTR";
+static const char VMCS_EXEC_PTR_HIGH_STR[] = "VMCS_EXEC_PTR_HIGH";
+static const char VMCS_TSC_OFFSET_STR[] = "TSC_OFFSET";
+static const char VMCS_TSC_OFFSET_HIGH_STR[] = "TSC_OFFSET_HIGH";
+static const char VMCS_VAPIC_ADDR_STR[] = "VAPIC_PAGE_ADDR";
+static const char VMCS_VAPIC_ADDR_HIGH_STR[] = "VAPIC_PAGE_ADDR_HIGH";
+static const char VMCS_LINK_PTR_STR[] = "VMCS_LINK_PTR";
+static const char VMCS_LINK_PTR_HIGH_STR[] = "VMCS_LINK_PTR_HIGH";
+static const char VMCS_GUEST_DBG_CTL_STR[] = "GUEST_DEBUG_CTL";
+static const char VMCS_GUEST_DBG_CTL_HIGH_STR[] = "GUEST_DEBUG_CTL_HIGH";
+static const char VMCS_GUEST_PERF_GLOBAL_CTRL_STR[] = "GUEST_PERF_GLOBAL_CTRL";
+static const char VMCS_GUEST_PERF_GLOBAL_CTRL_HIGH_STR[] = "GUEST_PERF_GLOBAL_CTRL_HIGH";
+static const char VMCS_PIN_CTRLS_STR[] = "PIN_VM_EXEC_CTRLS";
+static const char VMCS_PROC_CTRLS_STR[] = "PROC_VM_EXEC_CTRLS";
+static const char VMCS_EXCP_BITMAP_STR[] = "EXCEPTION_BITMAP";
+static const char VMCS_PG_FAULT_ERR_MASK_STR[] = "PAGE_FAULT_ERROR_MASK";
+static const char VMCS_PG_FAULT_ERR_MATCH_STR[] = "PAGE_FAULT_ERROR_MATCH";
+static const char VMCS_CR3_TGT_CNT_STR[] = "CR3_TARGET_COUNT";
+static const char VMCS_EXIT_CTRLS_STR[] = "VM_EXIT_CTRLS";
+static const char VMCS_EXIT_MSR_STORE_CNT_STR[] = "VM_EXIT_MSR_STORE_COUNT";
+static const char VMCS_EXIT_MSR_LOAD_CNT_STR[] = "VM_EXIT_MSR_LOAD_COUNT";
+static const char VMCS_ENTRY_CTRLS_STR[] = "VM_ENTRY_CTRLS";
+static const char VMCS_ENTRY_MSR_LOAD_CNT_STR[] = "VM_ENTRY_MSR_LOAD_COUNT";
+static const char VMCS_ENTRY_INT_INFO_STR[] = "VM_ENTRY_INT_INFO_FIELD";
+static const char VMCS_ENTRY_EXCP_ERR_STR[] = "VM_ENTRY_EXCEPTION_ERROR";
+static const char VMCS_ENTRY_INSTR_LEN_STR[] = "VM_ENTRY_INSTR_LENGTH";
+static const char VMCS_TPR_THRESHOLD_STR[] = "TPR_THRESHOLD";
+static const char VMCS_INSTR_ERR_STR[] = "VM_INSTR_ERROR";
+static const char VMCS_EXIT_REASON_STR[] = "EXIT_REASON";
+static const char VMCS_EXIT_INT_INFO_STR[] = "VM_EXIT_INT_INFO";
+static const char VMCS_EXIT_INT_ERR_STR[] = "VM_EXIT_INT_ERROR";
+static const char VMCS_IDT_VECTOR_INFO_STR[] = "IDT_VECTOR_INFO";
+static const char VMCS_IDT_VECTOR_ERR_STR[] = "IDT_VECTOR_ERROR";
+static const char VMCS_EXIT_INSTR_LEN_STR[] = "VM_EXIT_INSTR_LENGTH";
+static const char VMCS_VMX_INSTR_INFO_STR[] = "VMX_INSTR_INFO";
+static const char VMCS_GUEST_ES_LIMIT_STR[] = "GUEST_ES_LIMIT";
+static const char VMCS_GUEST_CS_LIMIT_STR[] = "GUEST_CS_LIMIT";
+static const char VMCS_GUEST_SS_LIMIT_STR[] = "GUEST_SS_LIMIT";
+static const char VMCS_GUEST_DS_LIMIT_STR[] = "GUEST_DS_LIMIT";
+static const char VMCS_GUEST_FS_LIMIT_STR[] = "GUEST_FS_LIMIT";
+static const char VMCS_GUEST_GS_LIMIT_STR[] = "GUEST_GS_LIMIT";
+static const char VMCS_GUEST_LDTR_LIMIT_STR[] = "GUEST_LDTR_LIMIT";
+static const char VMCS_GUEST_TR_LIMIT_STR[] = "GUEST_TR_LIMIT";
+static const char VMCS_GUEST_GDTR_LIMIT_STR[] = "GUEST_GDTR_LIMIT";
+static const char VMCS_GUEST_IDTR_LIMIT_STR[] = "GUEST_IDTR_LIMIT";
+static const char VMCS_GUEST_ES_ACCESS_STR[] = "GUEST_ES_ACCESS";
+static const char VMCS_GUEST_CS_ACCESS_STR[] = "GUEST_CS_ACCESS";
+static const char VMCS_GUEST_SS_ACCESS_STR[] = "GUEST_SS_ACCESS";
+static const char VMCS_GUEST_DS_ACCESS_STR[] = "GUEST_DS_ACCESS";
+static const char VMCS_GUEST_FS_ACCESS_STR[] = "GUEST_FS_ACCESS";
+static const char VMCS_GUEST_GS_ACCESS_STR[] = "GUEST_GS_ACCESS";
+static const char VMCS_GUEST_LDTR_ACCESS_STR[] = "GUEST_LDTR_ACCESS";
+static const char VMCS_GUEST_TR_ACCESS_STR[] = "GUEST_TR_ACCESS";
+static const char VMCS_GUEST_INT_STATE_STR[] = "GUEST_INT_STATE";
+static const char VMCS_GUEST_ACTIVITY_STATE_STR[] = "GUEST_ACTIVITY_STATE";
+static const char VMCS_GUEST_SMBASE_STR[] = "GUEST_SMBASE";
+static const char VMCS_GUEST_SYSENTER_CS_STR[] = "GUEST_SYSENTER_CS";
+static const char VMCS_HOST_SYSENTER_CS_STR[] = "HOST_SYSENTER_CS";
+static const char VMCS_CR0_MASK_STR[] = "CR0_GUEST_HOST_MASK";
+static const char VMCS_CR4_MASK_STR[] = "CR4_GUEST_HOST_MASK";
+static const char VMCS_CR0_READ_SHDW_STR[] = "CR0_READ_SHADOW";
+static const char VMCS_CR4_READ_SHDW_STR[] = "CR4_READ_SHADOW";
+static const char VMCS_CR3_TGT_VAL_0_STR[] = "CR3_TARGET_VALUE_0";
+static const char VMCS_CR3_TGT_VAL_1_STR[] = "CR3_TARGET_VALUE_1";
+static const char VMCS_CR3_TGT_VAL_2_STR[] = "CR3_TARGET_VALUE_2";
+static const char VMCS_CR3_TGT_VAL_3_STR[] = "CR3_TARGET_VALUE_3";
+static const char VMCS_EXIT_QUAL_STR[] = "EXIT_QUALIFICATION";
+static const char VMCS_IO_RCX_STR[] = "IO_RCX";
+static const char VMCS_IO_RSI_STR[] = "IO_RSI";
+static const char VMCS_IO_RDI_STR[] = "IO_RDI";
+static const char VMCS_IO_RIP_STR[] = "IO_RIP";
+static const char VMCS_GUEST_LINEAR_ADDR_STR[] = "GUEST_LINEAR_ADDR";
+static const char VMCS_GUEST_CR0_STR[] = "GUEST_CR0";
+static const char VMCS_GUEST_CR3_STR[] = "GUEST_CR3";
+static const char VMCS_GUEST_CR4_STR[] = "GUEST_CR4";
+static const char VMCS_GUEST_ES_BASE_STR[] = "GUEST_ES_BASE";
+static const char VMCS_GUEST_CS_BASE_STR[] = "GUEST_CS_BASE";
+static const char VMCS_GUEST_SS_BASE_STR[] = "GUEST_SS_BASE";
+static const char VMCS_GUEST_DS_BASE_STR[] = "GUEST_DS_BASE";
+static const char VMCS_GUEST_FS_BASE_STR[] = "GUEST_FS_BASE";
+static const char VMCS_GUEST_GS_BASE_STR[] = "GUEST_GS_BASE";
+static const char VMCS_GUEST_LDTR_BASE_STR[] = "GUEST_LDTR_BASE";
+static const char VMCS_GUEST_TR_BASE_STR[] = "GUEST_TR_BASE";
+static const char VMCS_GUEST_GDTR_BASE_STR[] = "GUEST_GDTR_BASE";
+static const char VMCS_GUEST_IDTR_BASE_STR[] = "GUEST_IDTR_BASE";
+static const char VMCS_GUEST_DR7_STR[] = "GUEST_DR7";
+static const char VMCS_GUEST_RSP_STR[] = "GUEST_RSP";
+static const char VMCS_GUEST_RIP_STR[] = "GUEST_RIP";
+static const char VMCS_GUEST_RFLAGS_STR[] = "GUEST_RFLAGS";
+static const char VMCS_GUEST_PENDING_DBG_EXCP_STR[] = "GUEST_PENDING_DEBUG_EXCS";
+static const char VMCS_GUEST_SYSENTER_ESP_STR[] = "GUEST_SYSENTER_ESP";
+static const char VMCS_GUEST_SYSENTER_EIP_STR[] = "GUEST_SYSENTER_EIP";
+static const char VMCS_HOST_CR0_STR[] = "HOST_CR0";
+static const char VMCS_HOST_CR3_STR[] = "HOST_CR3";
+static const char VMCS_HOST_CR4_STR[] = "HOST_CR4";
+static const char VMCS_HOST_FS_BASE_STR[] = "HOST_FS_BASE";
+static const char VMCS_HOST_GS_BASE_STR[] = "HOST_GS_BASE";
+static const char VMCS_HOST_TR_BASE_STR[] = "HOST_TR_BASE";
+static const char VMCS_HOST_GDTR_BASE_STR[] = "HOST_GDTR_BASE";
+static const char VMCS_HOST_IDTR_BASE_STR[] = "HOST_IDTR_BASE";
+static const char VMCS_HOST_SYSENTER_ESP_STR[] = "HOST_SYSENTER_ESP";
+static const char VMCS_HOST_SYSENTER_EIP_STR[] = "HOST_SYSENTER_EIP";
+static const char VMCS_HOST_RSP_STR[] = "HOST_RSP";
+static const char VMCS_HOST_RIP_STR[] = "HOST_RIP";
+
+
+
+const char * v3_vmcs_field_to_str(vmcs_field_t field) {   
+    switch (field) {
         case VMCS_GUEST_ES_SELECTOR:
-            return "VMCS_GUEST_ES_SELECTOR";
+            return VMCS_GUEST_ES_SELECTOR_STR;
         case VMCS_GUEST_CS_SELECTOR:
-            return "VMCS_GUEST_CS_SELECTOR";
+            return VMCS_GUEST_CS_SELECTOR_STR;
         case VMCS_GUEST_SS_SELECTOR:
-            return "VMCS_GUEST_SS_SELECTOR";
+            return VMCS_GUEST_SS_SELECTOR_STR;
         case VMCS_GUEST_DS_SELECTOR:
-            return "VMCS_GUEST_DS_SELECTOR";
+            return VMCS_GUEST_DS_SELECTOR_STR;
         case VMCS_GUEST_FS_SELECTOR:
-            return "VMCS_GUEST_FS_SELECTOR";
+            return VMCS_GUEST_FS_SELECTOR_STR;
         case VMCS_GUEST_GS_SELECTOR:
-            return "VMCS_GUEST_GS_SELECTOR";
+            return VMCS_GUEST_GS_SELECTOR_STR;
         case VMCS_GUEST_LDTR_SELECTOR:
-            return "VMCS_GUEST_LDTR_SELECTOR";
+            return VMCS_GUEST_LDTR_SELECTOR_STR;
         case VMCS_GUEST_TR_SELECTOR:
-            return "VMCS_GUEST_TR_SELECTOR";
+            return VMCS_GUEST_TR_SELECTOR_STR;
         case VMCS_HOST_ES_SELECTOR:
-            return "VMCS_HOST_ES_SELECTOR";
+            return VMCS_HOST_ES_SELECTOR_STR;
         case VMCS_HOST_CS_SELECTOR:
-            return "VMCS_HOST_CS_SELECTOR";
+            return VMCS_HOST_CS_SELECTOR_STR;
         case VMCS_HOST_SS_SELECTOR:
-            return "VMCS_HOST_SS_SELECTOR";
+            return VMCS_HOST_SS_SELECTOR_STR;
         case VMCS_HOST_DS_SELECTOR:
-            return "VMCS_HOST_DS_SELECTOR";
+            return VMCS_HOST_DS_SELECTOR_STR;
         case VMCS_HOST_FS_SELECTOR:
-            return "VMCS_HOST_FS_SELECTOR";
+            return VMCS_HOST_FS_SELECTOR_STR;
         case VMCS_HOST_GS_SELECTOR:
-            return "VMCS_HOST_GS_SELECTOR";
+            return VMCS_HOST_GS_SELECTOR_STR;
         case VMCS_HOST_TR_SELECTOR:
-            return "VMCS_HOST_TR_SELECTOR";
-        case IO_BITMAP_A_ADDR:
-            return "IO_BITMAP_A_ADDR";
-        case IO_BITMAP_A_ADDR_HIGH:
-            return "IO_BITMAP_A_ADDR_HIGH";
-        case IO_BITMAP_B_ADDR:
-            return "IO_BITMAP_B_ADDR";
-        case IO_BITMAP_B_ADDR_HIGH:
-            return "IO_BITMAP_B_ADDR_HIGH";
-        case MSR_BITMAPS:
-            return "MSR_BITMAPS";
-        case MSR_BITMAPS_HIGH:
-            return "MSR_BITMAPS_HIGH";
-        case VM_EXIT_MSR_STORE_ADDR:
-            return "VM_EXIT_MSR_STORE_ADDR";
-        case VM_EXIT_MSR_STORE_ADDR_HIGH:
-            return "VM_EXIT_MSR_STORE_ADDR_HIGH";
-        case VM_EXIT_MSR_LOAD_ADDR:
-            return "VM_EXIT_MSR_LOAD_ADDR";
-        case VM_EXIT_MSR_LOAD_ADDR_HIGH:
-            return "VM_EXIT_MSR_LOAD_ADDR_HIGH";
-        case VM_ENTRY_MSR_LOAD_ADDR:
-            return "VM_ENTRY_MSR_LOAD_ADDR";
-        case VM_ENTRY_MSR_LOAD_ADDR_HIGH:
-            return "VM_ENTRY_MSR_LOAD_ADDR_HIGH";
+            return VMCS_HOST_TR_SELECTOR_STR;
+        case VMCS_IO_BITMAP_A_ADDR:
+            return VMCS_IO_BITMAP_A_ADDR_STR;
+        case VMCS_IO_BITMAP_A_ADDR_HIGH:
+            return VMCS_IO_BITMAP_A_ADDR_HIGH_STR;
+        case VMCS_IO_BITMAP_B_ADDR:
+            return VMCS_IO_BITMAP_B_ADDR_STR;
+        case VMCS_IO_BITMAP_B_ADDR_HIGH:
+            return VMCS_IO_BITMAP_B_ADDR_HIGH_STR;
+        case VMCS_MSR_BITMAP:
+            return VMCS_MSR_BITMAP_STR;
+        case VMCS_MSR_BITMAP_HIGH:
+            return VMCS_MSR_BITMAP_HIGH_STR;
+        case VMCS_EXIT_MSR_STORE_ADDR:
+            return VMCS_EXIT_MSR_STORE_ADDR_STR;
+        case VMCS_EXIT_MSR_STORE_ADDR_HIGH:
+            return VMCS_EXIT_MSR_STORE_ADDR_HIGH_STR;
+        case VMCS_EXIT_MSR_LOAD_ADDR:
+            return VMCS_EXIT_MSR_LOAD_ADDR_STR;
+        case VMCS_EXIT_MSR_LOAD_ADDR_HIGH:
+            return VMCS_EXIT_MSR_LOAD_ADDR_HIGH_STR;
+        case VMCS_ENTRY_MSR_LOAD_ADDR:
+            return VMCS_ENTRY_MSR_LOAD_ADDR_STR;
+        case VMCS_ENTRY_MSR_LOAD_ADDR_HIGH:
+            return VMCS_ENTRY_MSR_LOAD_ADDR_HIGH_STR;
         case VMCS_EXEC_PTR:
-            return "VMCS_EXEC_PTR";
+            return VMCS_EXEC_PTR_STR;
         case VMCS_EXEC_PTR_HIGH:
-            return "VMCS_EXEC_PTR_HIGH";
-        case TSC_OFFSET:
-            return "TSC_OFFSET";
-        case TSC_OFFSET_HIGH:
-            return "TSC_OFFSET_HIGH";
-        case VIRT_APIC_PAGE_ADDR:
-            return "VIRT_APIC_PAGE_ADDR";
-        case VIRT_APIC_PAGE_ADDR_HIGH:
-            return "VIRT_APIC_PAGE_ADDR_HIGH";
+            return VMCS_EXEC_PTR_HIGH_STR;
+        case VMCS_TSC_OFFSET:
+            return VMCS_TSC_OFFSET_STR;
+        case VMCS_TSC_OFFSET_HIGH:
+            return VMCS_TSC_OFFSET_HIGH_STR;
+        case VMCS_VAPIC_ADDR:
+            return VMCS_VAPIC_ADDR_STR;
+        case VMCS_VAPIC_ADDR_HIGH:
+            return VMCS_VAPIC_ADDR_HIGH_STR;
         case VMCS_LINK_PTR:
-            return "VMCS_LINK_PTR";
+            return VMCS_LINK_PTR_STR;
         case VMCS_LINK_PTR_HIGH:
-            return "VMCS_LINK_PTR_HIGH";
-        case GUEST_IA32_DEBUGCTL:
-            return "GUEST_IA32_DEBUGCTL";
-        case GUEST_IA32_DEBUGCTL_HIGH:
-            return "GUEST_IA32_DEBUGCTL_HIGH";
-        case GUEST_IA32_PERF_GLOBAL_CTRL:
-            return "GUEST_IA32_PERF_GLOBAL_CTRL";
-        case GUEST_IA32_PERF_GLOBAL_CTRL_HIGH:
-            return "GUEST_IA32_PERF_GLOBAL_CTRL_HIGH";
-        case PIN_VM_EXEC_CTRLS:
-            return "PIN_VM_EXEC_CTRLS";
-        case PROC_VM_EXEC_CTRLS:
-            return "PROC_VM_EXEC_CTRLS";
-        case EXCEPTION_BITMAP:
-            return "EXCEPTION_BITMAP";
-        case PAGE_FAULT_ERROR_MASK:
-            return "PAGE_FAULT_ERROR_MASK";
-        case PAGE_FAULT_ERROR_MATCH:
-            return "PAGE_FAULT_ERROR_MATCH";
-        case CR3_TARGET_COUNT:
-            return "CR3_TARGET_COUNT";
-        case VM_EXIT_CTRLS:
-            return "VM_EXIT_CTRLS";
-        case VM_EXIT_MSR_STORE_COUNT:
-            return "VM_EXIT_MSR_STORE_COUNT";
-        case VM_EXIT_MSR_LOAD_COUNT:
-            return "VM_EXIT_MSR_LOAD_COUNT";
-        case VM_ENTRY_CTRLS:
-            return "VM_ENTRY_CTRLS";
-        case VM_ENTRY_MSR_LOAD_COUNT:
-            return "VM_ENTRY_MSR_LOAD_COUNT";
-        case VM_ENTRY_INT_INFO_FIELD:
-            return "VM_ENTRY_INT_INFO_FIELD";
-        case VM_ENTRY_EXCEPTION_ERROR:
-            return "VM_ENTRY_EXCEPTION_ERROR";
-        case VM_ENTRY_INSTR_LENGTH:
-            return "VM_ENTRY_INSTR_LENGTH";
-        case TPR_THRESHOLD:
-            return "TPR_THRESHOLD";
-        case VM_INSTR_ERROR:
-            return "VM_INSTR_ERROR";
-        case EXIT_REASON:
-            return "EXIT_REASON";
-        case VM_EXIT_INT_INFO:
-            return "VM_EXIT_INT_INFO";
-        case VM_EXIT_INT_ERROR:
-            return "VM_EXIT_INT_ERROR";
-        case IDT_VECTOR_INFO:
-            return "IDT_VECTOR_INFO";
-        case IDT_VECTOR_ERROR:
-            return "IDT_VECTOR_ERROR";
-        case VM_EXIT_INSTR_LENGTH:
-            return "VM_EXIT_INSTR_LENGTH";
-        case VMX_INSTR_INFO:
-            return "VMX_INSTR_INFO";
-        case GUEST_ES_LIMIT:
-            return "GUEST_ES_LIMIT";
-        case GUEST_CS_LIMIT:
-            return "GUEST_CS_LIMIT";
-        case GUEST_SS_LIMIT:
-            return "GUEST_SS_LIMIT";
-        case GUEST_DS_LIMIT:
-            return "GUEST_DS_LIMIT";
-        case GUEST_FS_LIMIT:
-            return "GUEST_FS_LIMIT";
-        case GUEST_GS_LIMIT:
-            return "GUEST_GS_LIMIT";
-        case GUEST_LDTR_LIMIT:
-            return "GUEST_LDTR_LIMIT";
-        case GUEST_TR_LIMIT:
-            return "GUEST_TR_LIMIT";
-        case GUEST_GDTR_LIMIT:
-            return "GUEST_GDTR_LIMIT";
-        case GUEST_IDTR_LIMIT:
-            return "GUEST_IDTR_LIMIT";
-        case GUEST_ES_ACCESS:
-            return "GUEST_ES_ACCESS";
-        case GUEST_CS_ACCESS:
-            return "GUEST_CS_ACCESS";
-        case GUEST_SS_ACCESS:
-            return "GUEST_SS_ACCESS";
-        case GUEST_DS_ACCESS:
-            return "GUEST_DS_ACCESS";
-        case GUEST_FS_ACCESS:
-            return "GUEST_FS_ACCESS";
-        case GUEST_GS_ACCESS:
-            return "GUEST_GS_ACCESS";
-        case GUEST_LDTR_ACCESS:
-            return "GUEST_LDTR_ACCESS";
-        case GUEST_TR_ACCESS:
-            return "GUEST_TR_ACCESS";
-        case GUEST_INT_STATE:
-            return "GUEST_INT_STATE";
-        case GUEST_ACTIVITY_STATE:
-            return "GUEST_ACTIVITY_STATE";
-        case GUEST_SMBASE:
-            return "GUEST_SMBASE";
-        case GUEST_IA32_SYSENTER_CS:
-            return "GUEST_IA32_SYSENTER_CS";
-        case HOST_IA32_SYSENTER_CS:
-            return "HOST_IA32_SYSENTER_CS";
-        case CR0_GUEST_HOST_MASK:
-            return "CR0_GUEST_HOST_MASK";
-        case CR4_GUEST_HOST_MASK:
-            return "CR4_GUEST_HOST_MASK";
-        case CR0_READ_SHADOW:
-            return "CR0_READ_SHADOW";
-        case CR4_READ_SHADOW:
-            return "CR4_READ_SHADOW";
-        case CR3_TARGET_VALUE_0:
-            return "CR3_TARGET_VALUE_0";
-        case CR3_TARGET_VALUE_1:
-            return "CR3_TARGET_VALUE_1";
-        case CR3_TARGET_VALUE_2:
-            return "CR3_TARGET_VALUE_2";
-        case CR3_TARGET_VALUE_3:
-            return "CR3_TARGET_VALUE_3";
-        case EXIT_QUALIFICATION:
-            return "EXIT_QUALIFICATION";
-        case IO_RCX:
-            return "IO_RCX";
-        case IO_RSI:
-            return "IO_RSI";
-        case IO_RDI:
-            return "IO_RDI";
-        case IO_RIP:
-            return "IO_RIP";
-        case GUEST_LINEAR_ADDR:
-            return "GUEST_LINEAR_ADDR";
-        case GUEST_CR0:
-            return "GUEST_CR0";
-        case GUEST_CR3:
-            return "GUEST_CR3";
-        case GUEST_CR4:
-            return "GUEST_CR4";
-        case GUEST_ES_BASE:
-            return "GUEST_ES_BASE";
-        case GUEST_CS_BASE:
-            return "GUEST_CS_BASE";
-        case GUEST_SS_BASE:
-            return "GUEST_SS_BASE";
-        case GUEST_DS_BASE:
-            return "GUEST_DS_BASE";
-        case GUEST_FS_BASE:
-            return "GUEST_FS_BASE";
-        case GUEST_GS_BASE:
-            return "GUEST_GS_BASE";
-        case GUEST_LDTR_BASE:
-            return "GUEST_LDTR_BASE";
-        case GUEST_TR_BASE:
-            return "GUEST_TR_BASE";
-        case GUEST_GDTR_BASE:
-            return "GUEST_GDTR_BASE";
-        case GUEST_IDTR_BASE:
-            return "GUEST_IDTR_BASE";
-        case GUEST_DR7:
-            return "GUEST_DR7";
-        case GUEST_RSP:
-            return "GUEST_RSP";
-        case GUEST_RIP:
-            return "GUEST_RIP";
-        case GUEST_RFLAGS:
-            return "GUEST_RFLAGS";
-        case GUEST_PENDING_DEBUG_EXCS:
-            return "GUEST_PENDING_DEBUG_EXCS";
-        case GUEST_IA32_SYSENTER_ESP:
-            return "GUEST_IA32_SYSENTER_ESP";
-        case GUEST_IA32_SYSENTER_EIP:
-            return "GUEST_IA32_SYSENTER_EIP";
-        case HOST_CR0:
-            return "HOST_CR0";
-        case HOST_CR3:
-            return "HOST_CR3";
-        case HOST_CR4:
-            return "HOST_CR4";
-        case HOST_FS_BASE:
-            return "HOST_FS_BASE";
-        case HOST_GS_BASE:
-            return "HOST_GS_BASE";
-        case HOST_TR_BASE:
-            return "HOST_TR_BASE";
-        case HOST_GDTR_BASE:
-            return "HOST_GDTR_BASE";
-        case HOST_IDTR_BASE:
-            return "HOST_IDTR_BASE";
-        case HOST_IA32_SYSENTER_ESP:
-            return "HOST_IA32_SYSENTER_ESP";
-        case HOST_IA32_SYSENTER_EIP:
-            return "HOST_IA32_SYSENTER_EIP";
-        case HOST_RSP:
-            return "HOST_RSP";
-        case HOST_RIP:
-            return "HOST_RIP";
-        case EXTERNAL_INTERRUPT_EXITING:
-            return "EXTERNAL_INTERRUPT_EXITING";
-        case NMI_EXITING:
-            return "NMI_EXITING";
-        case VIRTUAL_NMIS:
-            return "VIRTUAL_NMIS";
-        case INTERRUPT_WINDOWS_EXIT:
-            return "INTERRUPT_WINDOWS_EXIT";
-        case USE_TSC_OFFSETTING:
-            return "USE_TSC_OFFSETTING";
-        case HLT_EXITING:
-            return "HLT_EXITING";
-        case INVLPG_EXITING:
-            return "INVLPG_EXITING";
-        case MWAIT_EXITING:
-            return "MWAIT_EXITING";
-        case RDPMC_EXITING:
-            return "RDPMC_EXITING";
-        case RDTSC_EXITING:
-            return "RDTSC_EXITING";
-        case CR8_LOAD_EXITING:
-            return "CR8_LOAD_EXITING";
-        case CR8_STORE_EXITING:
-            return "CR8_STORE_EXITING";
-        case USE_TPR_SHADOW:
-            return "USE_TPR_SHADOW";
-        case NMI_WINDOW_EXITING:
-            return "NMI_WINDOW_EXITING";
-        case MOVDR_EXITING:
-            return "MOVDR_EXITING";
-        case UNCONDITION_IO_EXITING:
-            return "UNCONDITION_IO_EXITING";
-        case USE_IO_BITMAPS:
-            return "USE_IO_BITMAPS";
-        case USE_MSR_BITMAPS:
-            return "USE_MSR_BITMAPS";
-        case MONITOR_EXITING:
-            return "MONITOR_EXITING";
-        case PAUSE_EXITING:
-            return "PAUSE_EXITING";
-        case HOST_ADDR_SPACE_SIZE:
-            return "HOST_ADDR_SPACE_SIZE";
-        case ACK_IRQ_ON_EXIT:
-            return "ACK_IRQ_ON_EXIT";
+            return VMCS_LINK_PTR_HIGH_STR;
+        case VMCS_GUEST_DBG_CTL:
+            return VMCS_GUEST_DBG_CTL_STR;
+        case VMCS_GUEST_DBG_CTL_HIGH:
+            return VMCS_GUEST_DBG_CTL_HIGH_STR;
+        case VMCS_GUEST_PERF_GLOBAL_CTRL:
+            return VMCS_GUEST_PERF_GLOBAL_CTRL_STR;
+        case VMCS_GUEST_PERF_GLOBAL_CTRL_HIGH:
+            return VMCS_GUEST_PERF_GLOBAL_CTRL_HIGH_STR;
+        case VMCS_PIN_CTRLS:
+            return VMCS_PIN_CTRLS_STR;
+        case VMCS_PROC_CTRLS:
+            return VMCS_PROC_CTRLS_STR;
+        case VMCS_EXCP_BITMAP:
+            return VMCS_EXCP_BITMAP_STR;
+        case VMCS_PG_FAULT_ERR_MASK:
+            return VMCS_PG_FAULT_ERR_MASK_STR;
+        case VMCS_PG_FAULT_ERR_MATCH:
+            return VMCS_PG_FAULT_ERR_MATCH_STR;
+        case VMCS_CR3_TGT_CNT:
+            return VMCS_CR3_TGT_CNT_STR;
+        case VMCS_EXIT_CTRLS:
+            return VMCS_EXIT_CTRLS_STR;
+        case VMCS_EXIT_MSR_STORE_CNT:
+            return VMCS_EXIT_MSR_STORE_CNT_STR;
+        case VMCS_EXIT_MSR_LOAD_CNT:
+            return VMCS_EXIT_MSR_LOAD_CNT_STR;
+        case VMCS_ENTRY_CTRLS:
+            return VMCS_ENTRY_CTRLS_STR;
+        case VMCS_ENTRY_MSR_LOAD_CNT:
+            return VMCS_ENTRY_MSR_LOAD_CNT_STR;
+        case VMCS_ENTRY_INT_INFO:
+            return VMCS_ENTRY_INT_INFO_STR;
+        case VMCS_ENTRY_EXCP_ERR:
+            return VMCS_ENTRY_EXCP_ERR_STR;
+        case VMCS_ENTRY_INSTR_LEN:
+            return VMCS_ENTRY_INSTR_LEN_STR;
+        case VMCS_TPR_THRESHOLD:
+            return VMCS_TPR_THRESHOLD_STR;
+        case VMCS_INSTR_ERR:
+            return VMCS_INSTR_ERR_STR;
+        case VMCS_EXIT_REASON:
+            return VMCS_EXIT_REASON_STR;
+        case VMCS_EXIT_INT_INFO:
+            return VMCS_EXIT_INT_INFO_STR;
+        case VMCS_EXIT_INT_ERR:
+            return VMCS_EXIT_INT_ERR_STR;
+        case VMCS_IDT_VECTOR_INFO:
+            return VMCS_IDT_VECTOR_INFO_STR;
+        case VMCS_IDT_VECTOR_ERR:
+            return VMCS_IDT_VECTOR_ERR_STR;
+        case VMCS_EXIT_INSTR_LEN:
+            return VMCS_EXIT_INSTR_LEN_STR;
+        case VMCS_VMX_INSTR_INFO:
+            return VMCS_VMX_INSTR_INFO_STR;
+        case VMCS_GUEST_ES_LIMIT:
+            return VMCS_GUEST_ES_LIMIT_STR;
+        case VMCS_GUEST_CS_LIMIT:
+            return VMCS_GUEST_CS_LIMIT_STR;
+        case VMCS_GUEST_SS_LIMIT:
+            return VMCS_GUEST_SS_LIMIT_STR;
+        case VMCS_GUEST_DS_LIMIT:
+            return VMCS_GUEST_DS_LIMIT_STR;
+        case VMCS_GUEST_FS_LIMIT:
+            return VMCS_GUEST_FS_LIMIT_STR;
+        case VMCS_GUEST_GS_LIMIT:
+            return VMCS_GUEST_GS_LIMIT_STR;
+        case VMCS_GUEST_LDTR_LIMIT:
+            return VMCS_GUEST_LDTR_LIMIT_STR;
+        case VMCS_GUEST_TR_LIMIT:
+            return VMCS_GUEST_TR_LIMIT_STR;
+        case VMCS_GUEST_GDTR_LIMIT:
+            return VMCS_GUEST_GDTR_LIMIT_STR;
+        case VMCS_GUEST_IDTR_LIMIT:
+            return VMCS_GUEST_IDTR_LIMIT_STR;
+        case VMCS_GUEST_ES_ACCESS:
+            return VMCS_GUEST_ES_ACCESS_STR;
+        case VMCS_GUEST_CS_ACCESS:
+            return VMCS_GUEST_CS_ACCESS_STR;
+        case VMCS_GUEST_SS_ACCESS:
+            return VMCS_GUEST_SS_ACCESS_STR;
+        case VMCS_GUEST_DS_ACCESS:
+            return VMCS_GUEST_DS_ACCESS_STR;
+        case VMCS_GUEST_FS_ACCESS:
+            return VMCS_GUEST_FS_ACCESS_STR;
+        case VMCS_GUEST_GS_ACCESS:
+            return VMCS_GUEST_GS_ACCESS_STR;
+        case VMCS_GUEST_LDTR_ACCESS:
+            return VMCS_GUEST_LDTR_ACCESS_STR;
+        case VMCS_GUEST_TR_ACCESS:
+            return VMCS_GUEST_TR_ACCESS_STR;
+        case VMCS_GUEST_INT_STATE:
+            return VMCS_GUEST_INT_STATE_STR;
+        case VMCS_GUEST_ACTIVITY_STATE:
+            return VMCS_GUEST_ACTIVITY_STATE_STR;
+        case VMCS_GUEST_SMBASE:
+            return VMCS_GUEST_SMBASE_STR;
+        case VMCS_GUEST_SYSENTER_CS:
+            return VMCS_GUEST_SYSENTER_CS_STR;
+        case VMCS_HOST_SYSENTER_CS:
+            return VMCS_HOST_SYSENTER_CS_STR;
+        case VMCS_CR0_MASK:
+            return VMCS_CR0_MASK_STR;
+        case VMCS_CR4_MASK:
+            return VMCS_CR4_MASK_STR;
+        case VMCS_CR0_READ_SHDW:
+            return VMCS_CR0_READ_SHDW_STR;
+        case VMCS_CR4_READ_SHDW:
+            return VMCS_CR4_READ_SHDW_STR;
+        case VMCS_CR3_TGT_VAL_0:
+            return VMCS_CR3_TGT_VAL_0_STR;
+        case VMCS_CR3_TGT_VAL_1:
+            return VMCS_CR3_TGT_VAL_1_STR;
+        case VMCS_CR3_TGT_VAL_2:
+            return VMCS_CR3_TGT_VAL_2_STR;
+        case VMCS_CR3_TGT_VAL_3:
+            return VMCS_CR3_TGT_VAL_3_STR;
+        case VMCS_EXIT_QUAL:
+            return VMCS_EXIT_QUAL_STR;
+        case VMCS_IO_RCX:
+            return VMCS_IO_RCX_STR;
+        case VMCS_IO_RSI:
+            return VMCS_IO_RSI_STR;
+        case VMCS_IO_RDI:
+            return VMCS_IO_RDI_STR;
+        case VMCS_IO_RIP:
+            return VMCS_IO_RIP_STR;
+        case VMCS_GUEST_LINEAR_ADDR:
+            return VMCS_GUEST_LINEAR_ADDR_STR;
+        case VMCS_GUEST_CR0:
+            return VMCS_GUEST_CR0_STR;
+        case VMCS_GUEST_CR3:
+            return VMCS_GUEST_CR3_STR;
+        case VMCS_GUEST_CR4:
+            return VMCS_GUEST_CR4_STR;
+        case VMCS_GUEST_ES_BASE:
+            return VMCS_GUEST_ES_BASE_STR;
+        case VMCS_GUEST_CS_BASE:
+            return VMCS_GUEST_CS_BASE_STR;
+        case VMCS_GUEST_SS_BASE:
+            return VMCS_GUEST_SS_BASE_STR;
+        case VMCS_GUEST_DS_BASE:
+            return VMCS_GUEST_DS_BASE_STR;
+        case VMCS_GUEST_FS_BASE:
+            return VMCS_GUEST_FS_BASE_STR;
+        case VMCS_GUEST_GS_BASE:
+            return VMCS_GUEST_GS_BASE_STR;
+        case VMCS_GUEST_LDTR_BASE:
+            return VMCS_GUEST_LDTR_BASE_STR;
+        case VMCS_GUEST_TR_BASE:
+            return VMCS_GUEST_TR_BASE_STR;
+        case VMCS_GUEST_GDTR_BASE:
+            return VMCS_GUEST_GDTR_BASE_STR;
+        case VMCS_GUEST_IDTR_BASE:
+            return VMCS_GUEST_IDTR_BASE_STR;
+        case VMCS_GUEST_DR7:
+            return VMCS_GUEST_DR7_STR;
+        case VMCS_GUEST_RSP:
+            return VMCS_GUEST_RSP_STR;
+        case VMCS_GUEST_RIP:
+            return VMCS_GUEST_RIP_STR;
+        case VMCS_GUEST_RFLAGS:
+            return VMCS_GUEST_RFLAGS_STR;
+        case VMCS_GUEST_PENDING_DBG_EXCP:
+            return VMCS_GUEST_PENDING_DBG_EXCP_STR;
+        case VMCS_GUEST_SYSENTER_ESP:
+            return VMCS_GUEST_SYSENTER_ESP_STR;
+        case VMCS_GUEST_SYSENTER_EIP:
+            return VMCS_GUEST_SYSENTER_EIP_STR;
+        case VMCS_HOST_CR0:
+            return VMCS_HOST_CR0_STR;
+        case VMCS_HOST_CR3:
+            return VMCS_HOST_CR3_STR;
+        case VMCS_HOST_CR4:
+            return VMCS_HOST_CR4_STR;
+        case VMCS_HOST_FS_BASE:
+            return VMCS_HOST_FS_BASE_STR;
+        case VMCS_HOST_GS_BASE:
+            return VMCS_HOST_GS_BASE_STR;
+        case VMCS_HOST_TR_BASE:
+            return VMCS_HOST_TR_BASE_STR;
+        case VMCS_HOST_GDTR_BASE:
+            return VMCS_HOST_GDTR_BASE_STR;
+        case VMCS_HOST_IDTR_BASE:
+            return VMCS_HOST_IDTR_BASE_STR;
+        case VMCS_HOST_SYSENTER_ESP:
+            return VMCS_HOST_SYSENTER_ESP_STR;
+        case VMCS_HOST_SYSENTER_EIP:
+            return VMCS_HOST_SYSENTER_EIP_STR;
+        case VMCS_HOST_RSP:
+            return VMCS_HOST_RSP_STR;
+        case VMCS_HOST_RIP:
+            return VMCS_HOST_RIP_STR;
         default:
             return NULL;
     }
 }
 
 
-void PrintTrace_VMCSHostStateArea(struct VMCSHostStateArea * hostState) {
-  PrintTrace("\n==> Host State Area\n");
-  PrintTrace("HOST_CR0: %x\n", (uint_t)hostState->cr0);
-  PrintTrace("HOST_CR3: %x\n", (uint_t)hostState->cr3);
-  PrintTrace("HOST_CR4: %x\n", (uint_t)hostState->cr4);
-  PrintTrace("HOST_RSP: %x\n", (uint_t)hostState->rsp);
-  PrintTrace("HOST_RIP: %x\n", (uint_t)hostState->rip);
-  PrintTrace("VMCS_HOST_CS_SELECTOR: %x\n", (uint_t)hostState->csSelector);
-  PrintTrace("VMCS_HOST_SS_SELECTOR: %x\n", (uint_t)hostState->ssSelector);
-  PrintTrace("VMCS_HOST_DS_SELECTOR: %x\n", (uint_t)hostState->dsSelector);
-  PrintTrace("VMCS_HOST_ES_SELECTOR: %x\n", (uint_t)hostState->esSelector);
-  PrintTrace("VMCS_HOST_FS_SELECTOR: %x\n", (uint_t)hostState->fsSelector);
-  PrintTrace("VMCS_HOST_GS_SELECTOR: %x\n", (uint_t)hostState->gsSelector);
-  PrintTrace("VMCS_HOST_TR_SELECTOR: %x\n", (uint_t)hostState->trSelector);
-  PrintTrace("HOST_FS_BASE: %x\n", (uint_t)hostState->fsBaseAddr);
-  PrintTrace("HOST_GS_BASE: %x\n", (uint_t)hostState->gsBaseAddr);
-  PrintTrace("HOST_TR_BASE: %x\n", (uint_t)hostState->trBaseAddr);
-  PrintTrace("HOST_GDTR_BASE: %x\n", (uint_t)hostState->gdtrBaseAddr);
-  PrintTrace("HOST_IDTR_BASE: %x\n", (uint_t)hostState->idtrBaseAddr);
-  PrintTrace("HOST_IA32_SYSENTER_CS: %x\n", (uint_t)hostState->sysenter_cs);
-  PrintTrace("HOST_IA32_SYSENTER_ESP: %x\n", (uint_t)hostState->sysenter_esp);
-  PrintTrace("HOST_IA32_SYSENTER_EIP: %x\n", (uint_t)hostState->sysenter_eip);
-}
-
-void PrintTrace_VMCSExecCtrlFields(struct VMCSExecCtrlFields * execCtrls) {
-  PrintTrace("\n==> VM-Execution Controls:\n");
-  PrintTrace("PIN_VM_EXEC_CTRLS: %x\n", (uint_t) execCtrls->pinCtrls);
-  PrintTrace("PROC_VM_EXEC_CTRLS: %x\n", (uint_t) execCtrls->procCtrls);
-  PrintTrace("EXCEPTION_BITMAP: %x\n", (uint_t) execCtrls->execBitmap);
-  PrintTrace("PAGE_FAULT_ERROR_MASK: %x\n", (uint_t) execCtrls->pageFaultErrorMask);
-  PrintTrace("PAGE_FAULT_ERROR_MATCH: %x\n", (uint_t) execCtrls->pageFaultErrorMatch);
-  PrintTrace("IO_BITMAP_A_ADDR: %x\n", (uint_t) execCtrls->ioBitmapA);
-  //  PrintTrace("IO_BITMAP_A_ADDR_HIGH: %x\n", (uint_t) execCtrls->);
-  PrintTrace("IO_BITMAP_B_ADDR: %x\n", (uint_t) execCtrls->ioBitmapB);
-  // PrintTrace("IO_BITMAP_B_ADDR_HIGH: %x\n", (uint_t) execCtrls->);
-  PrintTrace("TSC_OFFSET: %x\n", (uint_t) execCtrls->tscOffset & 0xffffffff);
-  PrintTrace("TSC_OFFSET_HIGH: %x\n", (uint_t) (execCtrls->tscOffset >> 32) & 0xffffffff);
-  PrintTrace("CR0_GUEST_HOST_MASK: %x\n", (uint_t) execCtrls->cr0GuestHostMask);
-  PrintTrace("CR0_READ_SHADOW: %x\n", (uint_t) execCtrls->cr0ReadShadow);
-  PrintTrace("CR4_GUEST_HOST_MASK: %x\n", (uint_t) execCtrls->cr4GuestHostMask);
-  PrintTrace("CR4_READ_SHADOW: %x\n", (uint_t) execCtrls->cr4ReadShadow);
-  PrintTrace("CR3_TARGET_COUNT: %x\n", (uint_t) execCtrls->cr3TargetCount);
-  PrintTrace("CR3_TARGET_VALUE_0: %x\n", (uint_t) execCtrls->cr3TargetValue0);
-  PrintTrace("CR3_TARGET_VALUE_1: %x\n", (uint_t) execCtrls->cr3TargetValue1);
-  PrintTrace("CR3_TARGET_VALUE_2: %x\n", (uint_t) execCtrls->cr3TargetValue2);
-  PrintTrace("CR3_TARGET_VALUE_3: %x\n", (uint_t) execCtrls->cr3TargetValue3);
-  PrintTrace("VIRT_APIC_PAGE_ADDR: %x\n", (uint_t) execCtrls->virtApicPageAddr & 0xffffffff);
-  PrintTrace("VIRT_APIC_PAGE_ADDR_HIGH: %x\n", (uint_t) (execCtrls->virtApicPageAddr >> 32) & 0xffffffff);
-  PrintTrace("TPR_THRESHOLD: %x\n", (uint_t) execCtrls->tprThreshold);
-  PrintTrace("MSR_BITMAPS: %x\n", (uint_t) execCtrls->MSRBitmapsBaseAddr & 0xffffffff);
-  PrintTrace("MSR_BITMAPS_HIGH: %x\n", (uint_t) (execCtrls->MSRBitmapsBaseAddr >> 32) & 0xffffffff);
-  PrintTrace("VMCS_EXEC_PTR: %x\n", (uint_t) execCtrls->vmcsExecPtr & 0xffffffff);
-  PrintTrace("VMCS_EXEC_PTR_HIGH: %x\n", (uint_t) (execCtrls->vmcsExecPtr >> 32) & 0xffffffff);
-}
 
-void PrintTrace_VMCSExitCtrlFields(struct VMCSExitCtrlFields * exitCtrls) {
-  PrintTrace("\n==> VM Exit Controls\n");
-  PrintTrace("VM_EXIT_CTRLS: %x\n", (uint_t) exitCtrls->exitCtrls);
-  PrintTrace("VM_EXIT_MSR_STORE_COUNT: %x\n", (uint_t) exitCtrls->msrStoreCount);
-  PrintTrace("VM_EXIT_MSR_STORE_ADDR: %x\n", (uint_t) exitCtrls->msrStoreAddr & 0xffffffff);
-  PrintTrace("VM_EXIT_MSR_STORE_ADDR_HIGH: %x\n", (uint_t) (exitCtrls->msrStoreAddr >> 32) & 0xffffffff);
-  PrintTrace("VM_EXIT_MSR_LOAD_COUNT: %x\n", (uint_t) exitCtrls->msrLoadCount);
-  PrintTrace("VM_EXIT_MSR_LOAD_ADDR: %x\n", (uint_t) exitCtrls->msrLoadAddr & 0xffffffff);
-  PrintTrace("VM_EXIT_MSR_LOAD_ADDR_HIGH: %x\n", (uint_t) (exitCtrls->msrLoadAddr >> 32) & 0xffffffff);
-}
-
-void PrintTrace_VMCSEntryCtrlFields(struct VMCSEntryCtrlFields * entryCtrls) {
-  PrintTrace("\n==> VM Entry Controls\n");
-  PrintTrace("VM_ENTRY_CTRLS: %x\n", (uint_t) entryCtrls->entryCtrls);
-  PrintTrace("VM_ENTRY_MSR_LOAD_COUNT: %x\n", (uint_t) entryCtrls->msrLoadCount);
-  PrintTrace("VM_ENTRY_MSR_LOAD_ADDR: %x\n", (uint_t) entryCtrls->msrLoadAddr & 0xffffffff);
-  PrintTrace("VM_ENTRY_MSR_LOAD_ADDR_HIGH: %x\n", (uint_t) (entryCtrls->msrLoadAddr >> 32) & 0xffffffff);
-  PrintTrace("VM_ENTRY_INT_INFO_FIELD: %x\n", (uint_t) entryCtrls->intInfo);
-  PrintTrace("VM_ENTRY_EXCEPTION_ERROR: %x\n", (uint_t) entryCtrls->exceptionErrorCode);
-  PrintTrace("VM_ENTRY_INSTR_LENGTH: %x\n", (uint_t) entryCtrls->instrLength);
-}
-
-void PrintTrace_VMCSExitInfoFields(struct VMCSExitInfoFields * exitInfo) {
-  PrintTrace("\n==> VM Exit Info\n");
-  PrintTrace("EXIT_REASON: %x\n", (uint_t) exitInfo->reason);
-  PrintTrace("EXIT_QUALIFICATION: %x\n", (uint_t) exitInfo->qualification);
-  PrintTrace("VM_EXIT_INT_INFO: %x\n", (uint_t) exitInfo->intInfo);
-  PrintTrace("VM_EXIT_INT_ERROR: %x\n", (uint_t) exitInfo->intErrorCode);
-  PrintTrace("IDT_VECTOR_INFO: %x\n", (uint_t) exitInfo->idtVectorInfo);
-  PrintTrace("IDT_VECTOR_ERROR: %x\n", (uint_t) exitInfo->idtVectorErrorCode);
-  PrintTrace("VM_EXIT_INSTR_LENGTH: %x\n", (uint_t) exitInfo->instrLength);
-  PrintTrace("GUEST_LINEAR_ADDR: %x\n", (uint_t) exitInfo->guestLinearAddr);
-  PrintTrace("VMX_INSTR_INFO: %x\n", (uint_t) exitInfo->instrInfo);
-  PrintTrace("IO_RCX: %x\n", (uint_t) exitInfo->ioRCX);
-  PrintTrace("IO_RSI: %x\n", (uint_t) exitInfo->ioRSI);
-  PrintTrace("IO_RDI: %x\n", (uint_t) exitInfo->ioRDI);
-  PrintTrace("IO_RIP: %x\n", (uint_t) exitInfo->ioRIP);
-  PrintTrace("VM_INSTR_ERROR: %x\n", (uint_t) exitInfo->instrErrorField);
-}
-
-
-void PrintTrace_VMCSData(struct VMCSData * vmcs) {
-  PrintTrace("VMCSData Structure\n");
-
-  PrintTrace_VMCSGuestStateArea(&(vmcs->guestStateArea));
-  PrintTrace_VMCSHostStateArea(&(vmcs->hostStateArea));
-  PrintTrace_VMCSExecCtrlFields(&(vmcs->execCtrlFields));
-  PrintTrace_VMCSExitCtrlFields(&(vmcs->exitCtrlFields));
-  PrintTrace_VMCSEntryCtrlFields(&(vmcs->entryCtrlFields));
-  PrintTrace_VMCSExitInfoFields(&(vmcs->exitInfoFields));
-  PrintTrace("\n");
-}