palacios/src/palacios/vmcs_gen.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, The V3VEE Project <http://www.v3vee.org>
  11  * All rights reserved.
  12  *
  13  * Author: Automatically Generated File
  14  *
  15  * This is free software.  You are permitted to use,
  16  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
  17  */
  18
  19 #include <palacios/vmcs_gen.h>
  20
  21
  22
  23 void    PrintTrace_VMCS_GUEST_ES_SELECTOR() { PrintTrace("VMCS_GUEST_ES_SELECTOR = %x\n", Get_VMCS_GUEST_ES_SELECTOR()); }
  24 void    PrintTrace_VMCS_GUEST_CS_SELECTOR() { PrintTrace("VMCS_GUEST_CS_SELECTOR = %x\n", Get_VMCS_GUEST_CS_SELECTOR()); }
  25 void    PrintTrace_VMCS_GUEST_SS_SELECTOR() { PrintTrace("VMCS_GUEST_SS_SELECTOR = %x\n", Get_VMCS_GUEST_SS_SELECTOR()); }
  26 void    PrintTrace_VMCS_GUEST_DS_SELECTOR() { PrintTrace("VMCS_GUEST_DS_SELECTOR = %x\n", Get_VMCS_GUEST_DS_SELECTOR()); }
  27 void    PrintTrace_VMCS_GUEST_FS_SELECTOR() { PrintTrace("VMCS_GUEST_FS_SELECTOR = %x\n", Get_VMCS_GUEST_FS_SELECTOR()); }
  28 void    PrintTrace_VMCS_GUEST_GS_SELECTOR() { PrintTrace("VMCS_GUEST_GS_SELECTOR = %x\n", Get_VMCS_GUEST_GS_SELECTOR()); }
  29 void    PrintTrace_VMCS_GUEST_LDTR_SELECTOR() { PrintTrace("VMCS_GUEST_LDTR_SELECTOR = %x\n", Get_VMCS_GUEST_LDTR_SELECTOR()); }
  30 void    PrintTrace_VMCS_GUEST_TR_SELECTOR() { PrintTrace("VMCS_GUEST_TR_SELECTOR = %x\n", Get_VMCS_GUEST_TR_SELECTOR()); }
  31 void    PrintTrace_VMCS_HOST_ES_SELECTOR() { PrintTrace("VMCS_HOST_ES_SELECTOR = %x\n", Get_VMCS_HOST_ES_SELECTOR()); }
  32 void    PrintTrace_VMCS_HOST_CS_SELECTOR() { PrintTrace("VMCS_HOST_CS_SELECTOR = %x\n", Get_VMCS_HOST_CS_SELECTOR()); }
  33 void    PrintTrace_VMCS_HOST_SS_SELECTOR() { PrintTrace("VMCS_HOST_SS_SELECTOR = %x\n", Get_VMCS_HOST_SS_SELECTOR()); }
  34 void    PrintTrace_VMCS_HOST_DS_SELECTOR() { PrintTrace("VMCS_HOST_DS_SELECTOR = %x\n", Get_VMCS_HOST_DS_SELECTOR()); }
  35 void    PrintTrace_VMCS_HOST_FS_SELECTOR() { PrintTrace("VMCS_HOST_FS_SELECTOR = %x\n", Get_VMCS_HOST_FS_SELECTOR()); }
  36 void    PrintTrace_VMCS_HOST_GS_SELECTOR() { PrintTrace("VMCS_HOST_GS_SELECTOR = %x\n", Get_VMCS_HOST_GS_SELECTOR()); }
  37 void    PrintTrace_VMCS_HOST_TR_SELECTOR() { PrintTrace("VMCS_HOST_TR_SELECTOR = %x\n", Get_VMCS_HOST_TR_SELECTOR()); }
  38 void    PrintTrace_IO_BITMAP_A_ADDR() { PrintTrace("IO_BITMAP_A_ADDR = %x\n", Get_IO_BITMAP_A_ADDR()); }
  39 void    PrintTrace_IO_BITMAP_A_ADDR_HIGH() { PrintTrace("IO_BITMAP_A_ADDR_HIGH = %x\n", Get_IO_BITMAP_A_ADDR_HIGH()); }
  40 void    PrintTrace_IO_BITMAP_B_ADDR() { PrintTrace("IO_BITMAP_B_ADDR = %x\n", Get_IO_BITMAP_B_ADDR()); }
  41 void    PrintTrace_IO_BITMAP_B_ADDR_HIGH() { PrintTrace("IO_BITMAP_B_ADDR_HIGH = %x\n", Get_IO_BITMAP_B_ADDR_HIGH()); }
  42 void    PrintTrace_MSR_BITMAPS() { PrintTrace("MSR_BITMAPS = %x\n", Get_MSR_BITMAPS()); }
  43 void    PrintTrace_MSR_BITMAPS_HIGH() { PrintTrace("MSR_BITMAPS_HIGH = %x\n", Get_MSR_BITMAPS_HIGH()); }
  44 void    PrintTrace_VM_EXIT_MSR_STORE_ADDR() { PrintTrace("VM_EXIT_MSR_STORE_ADDR = %x\n", Get_VM_EXIT_MSR_STORE_ADDR()); }
  45 void    PrintTrace_VM_EXIT_MSR_STORE_ADDR_HIGH() { PrintTrace("VM_EXIT_MSR_STORE_ADDR_HIGH = %x\n", Get_VM_EXIT_MSR_STORE_ADDR_HIGH()); }
  46 void    PrintTrace_VM_EXIT_MSR_LOAD_ADDR() { PrintTrace("VM_EXIT_MSR_LOAD_ADDR = %x\n", Get_VM_EXIT_MSR_LOAD_ADDR()); }
  47 void    PrintTrace_VM_EXIT_MSR_LOAD_ADDR_HIGH() { PrintTrace("VM_EXIT_MSR_LOAD_ADDR_HIGH = %x\n", Get_VM_EXIT_MSR_LOAD_ADDR_HIGH()); }
  48 void    PrintTrace_VM_ENTRY_MSR_LOAD_ADDR() { PrintTrace("VM_ENTRY_MSR_LOAD_ADDR = %x\n", Get_VM_ENTRY_MSR_LOAD_ADDR()); }
  49 void    PrintTrace_VM_ENTRY_MSR_LOAD_ADDR_HIGH() { PrintTrace("VM_ENTRY_MSR_LOAD_ADDR_HIGH = %x\n", Get_VM_ENTRY_MSR_LOAD_ADDR_HIGH()); }
  50 void    PrintTrace_VMCS_EXEC_PTR() { PrintTrace("VMCS_EXEC_PTR = %x\n", Get_VMCS_EXEC_PTR()); }
  51 void    PrintTrace_VMCS_EXEC_PTR_HIGH() { PrintTrace("VMCS_EXEC_PTR_HIGH = %x\n", Get_VMCS_EXEC_PTR_HIGH()); }
  52 void    PrintTrace_TSC_OFFSET() { PrintTrace("TSC_OFFSET = %x\n", Get_TSC_OFFSET()); }
  53 void    PrintTrace_TSC_OFFSET_HIGH() { PrintTrace("TSC_OFFSET_HIGH = %x\n", Get_TSC_OFFSET_HIGH()); }
  54 void    PrintTrace_VIRT_APIC_PAGE_ADDR() { PrintTrace("VIRT_APIC_PAGE_ADDR = %x\n", Get_VIRT_APIC_PAGE_ADDR()); }
  55 void    PrintTrace_VIRT_APIC_PAGE_ADDR_HIGH() { PrintTrace("VIRT_APIC_PAGE_ADDR_HIGH = %x\n", Get_VIRT_APIC_PAGE_ADDR_HIGH()); }
  56 void    PrintTrace_VMCS_LINK_PTR() { PrintTrace("VMCS_LINK_PTR = %x\n", Get_VMCS_LINK_PTR()); }
  57 void    PrintTrace_VMCS_LINK_PTR_HIGH() { PrintTrace("VMCS_LINK_PTR_HIGH = %x\n", Get_VMCS_LINK_PTR_HIGH()); }
  58 void    PrintTrace_GUEST_IA32_DEBUGCTL() { PrintTrace("GUEST_IA32_DEBUGCTL = %x\n", Get_GUEST_IA32_DEBUGCTL()); }
  59 void    PrintTrace_GUEST_IA32_DEBUGCTL_HIGH() { PrintTrace("GUEST_IA32_DEBUGCTL_HIGH = %x\n", Get_GUEST_IA32_DEBUGCTL_HIGH()); }
  60 void    PrintTrace_PIN_VM_EXEC_CTRLS() { PrintTrace("PIN_VM_EXEC_CTRLS = %x\n", Get_PIN_VM_EXEC_CTRLS()); }
  61 void    PrintTrace_PROC_VM_EXEC_CTRLS() { PrintTrace("PROC_VM_EXEC_CTRLS = %x\n", Get_PROC_VM_EXEC_CTRLS()); }
  62 void    PrintTrace_EXCEPTION_BITMAP() { PrintTrace("EXCEPTION_BITMAP = %x\n", Get_EXCEPTION_BITMAP()); }
  63 void    PrintTrace_PAGE_FAULT_ERROR_MASK() { PrintTrace("PAGE_FAULT_ERROR_MASK = %x\n", Get_PAGE_FAULT_ERROR_MASK()); }
  64 void    PrintTrace_PAGE_FAULT_ERROR_MATCH() { PrintTrace("PAGE_FAULT_ERROR_MATCH = %x\n", Get_PAGE_FAULT_ERROR_MATCH()); }
  65 void    PrintTrace_CR3_TARGET_COUNT() { PrintTrace("CR3_TARGET_COUNT = %x\n", Get_CR3_TARGET_COUNT()); }
  66 void    PrintTrace_VM_EXIT_CTRLS() { PrintTrace("VM_EXIT_CTRLS = %x\n", Get_VM_EXIT_CTRLS()); }
  67 void    PrintTrace_VM_EXIT_MSR_STORE_COUNT() { PrintTrace("VM_EXIT_MSR_STORE_COUNT = %x\n", Get_VM_EXIT_MSR_STORE_COUNT()); }
  68 void    PrintTrace_VM_EXIT_MSR_LOAD_COUNT() { PrintTrace("VM_EXIT_MSR_LOAD_COUNT = %x\n", Get_VM_EXIT_MSR_LOAD_COUNT()); }
  69 void    PrintTrace_VM_ENTRY_CTRLS() { PrintTrace("VM_ENTRY_CTRLS = %x\n", Get_VM_ENTRY_CTRLS()); }
  70 void    PrintTrace_VM_ENTRY_MSR_LOAD_COUNT() { PrintTrace("VM_ENTRY_MSR_LOAD_COUNT = %x\n", Get_VM_ENTRY_MSR_LOAD_COUNT()); }
  71 void    PrintTrace_VM_ENTRY_INT_INFO_FIELD() { PrintTrace("VM_ENTRY_INT_INFO_FIELD = %x\n", Get_VM_ENTRY_INT_INFO_FIELD()); }
  72 void    PrintTrace_VM_ENTRY_EXCEPTION_ERROR() { PrintTrace("VM_ENTRY_EXCEPTION_ERROR = %x\n", Get_VM_ENTRY_EXCEPTION_ERROR()); }
  73 void    PrintTrace_VM_ENTRY_INSTR_LENGTH() { PrintTrace("VM_ENTRY_INSTR_LENGTH = %x\n", Get_VM_ENTRY_INSTR_LENGTH()); }
  74 void    PrintTrace_TPR_THRESHOLD() { PrintTrace("TPR_THRESHOLD = %x\n", Get_TPR_THRESHOLD()); }
  75 void    PrintTrace_VM_INSTR_ERROR() { PrintTrace("VM_INSTR_ERROR = %x\n", Get_VM_INSTR_ERROR()); }
  76 void    PrintTrace_EXIT_REASON() { PrintTrace("EXIT_REASON = %x\n", Get_EXIT_REASON()); }
  77 void    PrintTrace_VM_EXIT_INT_INFO() { PrintTrace("VM_EXIT_INT_INFO = %x\n", Get_VM_EXIT_INT_INFO()); }
  78 void    PrintTrace_VM_EXIT_INT_ERROR() { PrintTrace("VM_EXIT_INT_ERROR = %x\n", Get_VM_EXIT_INT_ERROR()); }
  79 void    PrintTrace_IDT_VECTOR_INFO() { PrintTrace("IDT_VECTOR_INFO = %x\n", Get_IDT_VECTOR_INFO()); }
  80 void    PrintTrace_IDT_VECTOR_ERROR() { PrintTrace("IDT_VECTOR_ERROR = %x\n", Get_IDT_VECTOR_ERROR()); }
  81 void    PrintTrace_VM_EXIT_INSTR_LENGTH() { PrintTrace("VM_EXIT_INSTR_LENGTH = %x\n", Get_VM_EXIT_INSTR_LENGTH()); }
  82 void    PrintTrace_VMX_INSTR_INFO() { PrintTrace("VMX_INSTR_INFO = %x\n", Get_VMX_INSTR_INFO()); }
  83 void    PrintTrace_GUEST_ES_LIMIT() { PrintTrace("GUEST_ES_LIMIT = %x\n", Get_GUEST_ES_LIMIT()); }
  84 void    PrintTrace_GUEST_CS_LIMIT() { PrintTrace("GUEST_CS_LIMIT = %x\n", Get_GUEST_CS_LIMIT()); }
  85 void    PrintTrace_GUEST_SS_LIMIT() { PrintTrace("GUEST_SS_LIMIT = %x\n", Get_GUEST_SS_LIMIT()); }
  86 void    PrintTrace_GUEST_DS_LIMIT() { PrintTrace("GUEST_DS_LIMIT = %x\n", Get_GUEST_DS_LIMIT()); }
  87 void    PrintTrace_GUEST_FS_LIMIT() { PrintTrace("GUEST_FS_LIMIT = %x\n", Get_GUEST_FS_LIMIT()); }
  88 void    PrintTrace_GUEST_GS_LIMIT() { PrintTrace("GUEST_GS_LIMIT = %x\n", Get_GUEST_GS_LIMIT()); }
  89 void    PrintTrace_GUEST_LDTR_LIMIT() { PrintTrace("GUEST_LDTR_LIMIT = %x\n", Get_GUEST_LDTR_LIMIT()); }
  90 void    PrintTrace_GUEST_TR_LIMIT() { PrintTrace("GUEST_TR_LIMIT = %x\n", Get_GUEST_TR_LIMIT()); }
  91 void    PrintTrace_GUEST_GDTR_LIMIT() { PrintTrace("GUEST_GDTR_LIMIT = %x\n", Get_GUEST_GDTR_LIMIT()); }
  92 void    PrintTrace_GUEST_IDTR_LIMIT() { PrintTrace("GUEST_IDTR_LIMIT = %x\n", Get_GUEST_IDTR_LIMIT()); }
  93 void    PrintTrace_GUEST_ES_ACCESS() { PrintTrace("GUEST_ES_ACCESS = %x\n", Get_GUEST_ES_ACCESS()); }
  94 void    PrintTrace_GUEST_CS_ACCESS() { PrintTrace("GUEST_CS_ACCESS = %x\n", Get_GUEST_CS_ACCESS()); }
  95 void    PrintTrace_GUEST_SS_ACCESS() { PrintTrace("GUEST_SS_ACCESS = %x\n", Get_GUEST_SS_ACCESS()); }
  96 void    PrintTrace_GUEST_DS_ACCESS() { PrintTrace("GUEST_DS_ACCESS = %x\n", Get_GUEST_DS_ACCESS()); }
  97 void    PrintTrace_GUEST_FS_ACCESS() { PrintTrace("GUEST_FS_ACCESS = %x\n", Get_GUEST_FS_ACCESS()); }
  98 void    PrintTrace_GUEST_GS_ACCESS() { PrintTrace("GUEST_GS_ACCESS = %x\n", Get_GUEST_GS_ACCESS()); }
  99 void    PrintTrace_GUEST_LDTR_ACCESS() { PrintTrace("GUEST_LDTR_ACCESS = %x\n", Get_GUEST_LDTR_ACCESS()); }
 100 void    PrintTrace_GUEST_TR_ACCESS() { PrintTrace("GUEST_TR_ACCESS = %x\n", Get_GUEST_TR_ACCESS()); }
 101 void    PrintTrace_GUEST_INT_STATE() { PrintTrace("GUEST_INT_STATE = %x\n", Get_GUEST_INT_STATE()); }
 102 void    PrintTrace_GUEST_ACTIVITY_STATE() { PrintTrace("GUEST_ACTIVITY_STATE = %x\n", Get_GUEST_ACTIVITY_STATE()); }
 103 void    PrintTrace_GUEST_SMBASE() { PrintTrace("GUEST_SMBASE = %x\n", Get_GUEST_SMBASE()); }
 104 void    PrintTrace_GUEST_IA32_SYSENTER_CS() { PrintTrace("GUEST_IA32_SYSENTER_CS = %x\n", Get_GUEST_IA32_SYSENTER_CS()); }
 105 void    PrintTrace_HOST_IA32_SYSENTER_CS() { PrintTrace("HOST_IA32_SYSENTER_CS = %x\n", Get_HOST_IA32_SYSENTER_CS()); }
 106 void    PrintTrace_CR0_GUEST_HOST_MASK() { PrintTrace("CR0_GUEST_HOST_MASK = %x\n", Get_CR0_GUEST_HOST_MASK()); }
 107 void    PrintTrace_CR4_GUEST_HOST_MASK() { PrintTrace("CR4_GUEST_HOST_MASK = %x\n", Get_CR4_GUEST_HOST_MASK()); }
 108 void    PrintTrace_CR0_READ_SHADOW() { PrintTrace("CR0_READ_SHADOW = %x\n", Get_CR0_READ_SHADOW()); }
 109 void    PrintTrace_CR4_READ_SHADOW() { PrintTrace("CR4_READ_SHADOW = %x\n", Get_CR4_READ_SHADOW()); }
 110 void    PrintTrace_CR3_TARGET_VALUE_0() { PrintTrace("CR3_TARGET_VALUE_0 = %x\n", Get_CR3_TARGET_VALUE_0()); }
 111 void    PrintTrace_CR3_TARGET_VALUE_1() { PrintTrace("CR3_TARGET_VALUE_1 = %x\n", Get_CR3_TARGET_VALUE_1()); }
 112 void    PrintTrace_CR3_TARGET_VALUE_2() { PrintTrace("CR3_TARGET_VALUE_2 = %x\n", Get_CR3_TARGET_VALUE_2()); }
 113 void    PrintTrace_CR3_TARGET_VALUE_3() { PrintTrace("CR3_TARGET_VALUE_3 = %x\n", Get_CR3_TARGET_VALUE_3()); }
 114 void    PrintTrace_EXIT_QUALIFICATION() { PrintTrace("EXIT_QUALIFICATION = %x\n", Get_EXIT_QUALIFICATION()); }
 115 void    PrintTrace_IO_RCX() { PrintTrace("IO_RCX = %x\n", Get_IO_RCX()); }
 116 void    PrintTrace_IO_RSI() { PrintTrace("IO_RSI = %x\n", Get_IO_RSI()); }
 117 void    PrintTrace_IO_RDI() { PrintTrace("IO_RDI = %x\n", Get_IO_RDI()); }
 118 void    PrintTrace_IO_RIP() { PrintTrace("IO_RIP = %x\n", Get_IO_RIP()); }
 119 void    PrintTrace_GUEST_LINEAR_ADDR() { PrintTrace("GUEST_LINEAR_ADDR = %x\n", Get_GUEST_LINEAR_ADDR()); }
 120 void    PrintTrace_GUEST_CR0() { PrintTrace("GUEST_CR0 = %x\n", Get_GUEST_CR0()); }
 121 void    PrintTrace_GUEST_CR3() { PrintTrace("GUEST_CR3 = %x\n", Get_GUEST_CR3()); }
 122 void    PrintTrace_GUEST_CR4() { PrintTrace("GUEST_CR4 = %x\n", Get_GUEST_CR4()); }
 123 void    PrintTrace_GUEST_ES_BASE() { PrintTrace("GUEST_ES_BASE = %x\n", Get_GUEST_ES_BASE()); }
 124 void    PrintTrace_GUEST_CS_BASE() { PrintTrace("GUEST_CS_BASE = %x\n", Get_GUEST_CS_BASE()); }
 125 void    PrintTrace_GUEST_SS_BASE() { PrintTrace("GUEST_SS_BASE = %x\n", Get_GUEST_SS_BASE()); }
 126 void    PrintTrace_GUEST_DS_BASE() { PrintTrace("GUEST_DS_BASE = %x\n", Get_GUEST_DS_BASE()); }
 127 void    PrintTrace_GUEST_FS_BASE() { PrintTrace("GUEST_FS_BASE = %x\n", Get_GUEST_FS_BASE()); }
 128 void    PrintTrace_GUEST_GS_BASE() { PrintTrace("GUEST_GS_BASE = %x\n", Get_GUEST_GS_BASE()); }
 129 void    PrintTrace_GUEST_LDTR_BASE() { PrintTrace("GUEST_LDTR_BASE = %x\n", Get_GUEST_LDTR_BASE()); }
 130 void    PrintTrace_GUEST_TR_BASE() { PrintTrace("GUEST_TR_BASE = %x\n", Get_GUEST_TR_BASE()); }
 131 void    PrintTrace_GUEST_GDTR_BASE() { PrintTrace("GUEST_GDTR_BASE = %x\n", Get_GUEST_GDTR_BASE()); }
 132 void    PrintTrace_GUEST_IDTR_BASE() { PrintTrace("GUEST_IDTR_BASE = %x\n", Get_GUEST_IDTR_BASE()); }
 133 void    PrintTrace_GUEST_DR7() { PrintTrace("GUEST_DR7 = %x\n", Get_GUEST_DR7()); }
 134 void    PrintTrace_GUEST_RSP() { PrintTrace("GUEST_RSP = %x\n", Get_GUEST_RSP()); }
 135 void    PrintTrace_GUEST_RIP() { PrintTrace("GUEST_RIP = %x\n", Get_GUEST_RIP()); }
 136 void    PrintTrace_GUEST_RFLAGS() { PrintTrace("GUEST_RFLAGS = %x\n", Get_GUEST_RFLAGS()); }
 137 void    PrintTrace_GUEST_PENDING_DEBUG_EXCS() { PrintTrace("GUEST_PENDING_DEBUG_EXCS = %x\n", Get_GUEST_PENDING_DEBUG_EXCS()); }
 138 void    PrintTrace_GUEST_IA32_SYSENTER_ESP() { PrintTrace("GUEST_IA32_SYSENTER_ESP = %x\n", Get_GUEST_IA32_SYSENTER_ESP()); }
 139 void    PrintTrace_GUEST_IA32_SYSENTER_EIP() { PrintTrace("GUEST_IA32_SYSENTER_EIP = %x\n", Get_GUEST_IA32_SYSENTER_EIP()); }
 140 void    PrintTrace_HOST_CR0() { PrintTrace("HOST_CR0 = %x\n", Get_HOST_CR0()); }
 141 void    PrintTrace_HOST_CR3() { PrintTrace("HOST_CR3 = %x\n", Get_HOST_CR3()); }
 142 void    PrintTrace_HOST_CR4() { PrintTrace("HOST_CR4 = %x\n", Get_HOST_CR4()); }
 143 void    PrintTrace_HOST_FS_BASE() { PrintTrace("HOST_FS_BASE = %x\n", Get_HOST_FS_BASE()); }
 144 void    PrintTrace_HOST_GS_BASE() { PrintTrace("HOST_GS_BASE = %x\n", Get_HOST_GS_BASE()); }
 145 void    PrintTrace_HOST_TR_BASE() { PrintTrace("HOST_TR_BASE = %x\n", Get_HOST_TR_BASE()); }
 146 void    PrintTrace_HOST_GDTR_BASE() { PrintTrace("HOST_GDTR_BASE = %x\n", Get_HOST_GDTR_BASE()); }
 147 void    PrintTrace_HOST_IDTR_BASE() { PrintTrace("HOST_IDTR_BASE = %x\n", Get_HOST_IDTR_BASE()); }
 148 void    PrintTrace_HOST_IA32_SYSENTER_ESP() { PrintTrace("HOST_IA32_SYSENTER_ESP = %x\n", Get_HOST_IA32_SYSENTER_ESP()); }
 149 void    PrintTrace_HOST_IA32_SYSENTER_EIP() { PrintTrace("HOST_IA32_SYSENTER_EIP = %x\n", Get_HOST_IA32_SYSENTER_EIP()); }
 150 void    PrintTrace_HOST_RSP() { PrintTrace("HOST_RSP = %x\n", Get_HOST_RSP()); }
 151 void    PrintTrace_HOST_RIP() { PrintTrace("HOST_RIP = %x\n", Get_HOST_RIP()); }
 152
 153
 154
 155 static void print_guest_segments() {
 156     struct vmcs_segment tmp_seg;
 157     int i = 0;
 158
 159     char names[] = {"CS", "SS", "DS", "ES", "FS", "GS", "LDTR", "TR"};
 160
 161     uint32_t sels[] = { VMCS_GUEST_CS_SELECTOR,
 162                         VMCS_GUEST_SS_SELECTOR,
 163                         VMCS_GUEST_DS_SELECTOR,
 164                         VMCS_GUEST_ES_SELECTOR,
 165                         VMCS_GUEST_FS_SELECTOR,
 166                         VMCS_GUEST_GS_SELECTOR,
 167                         VMCS_GUEST_LDTR_SELECTOR,
 168                         VMCS_GUEST_TR_SELECTOR };
 169
 170     uint32_t bases[] = { VMCS_GUEST_CS_BASE,
 171                          VMCS_GUEST_SS_BASE,
 172                          VMCS_GUEST_DS_BASE,
 173                          VMCS_GUEST_ES_BASE,
 174                          VMCS_GUEST_FS_BASE,
 175                          VMCS_GUEST_GS_BASE,
 176                          VMCS_GUEST_LDTR_BASE,
 177                          VMCS_GUEST_TR_BASE };
 178
 179     uint32_t limits[] = { VMCS_GUEST_CS_LIMIT,
 180                           VMCS_GUEST_SS_LIMIT,
 181                           VMCS_GUEST_DS_LIMIT,
 182                           VMCS_GUEST_ES_LIMIT,
 183                           VMCS_GUEST_FS_LIMIT,
 184                           VMCS_GUEST_GS_LIMIT,
 185                           VMCS_GUEST_LDTR_LIMIT,
 186                           VMCS_GUEST_TR_LIMIT };
 187
 188     uint32_t accesses[] = { VMCS_GUEST_CS_ACCESS,
 189                             VMCS_GUEST_SS_ACCESS,
 190                             VMCS_GUEST_DS_ACCESS,
 191                             VMCS_GUEST_ES_ACCESS,
 192                             VMCS_GUEST_FS_ACCESS,
 193                             VMCS_GUEST_GS_ACCESS,
 194                             VMCS_GUEST_LDTR_ACCESS,
 195                             VMCS_GUEST_TR_ACCESS };
 196
 197
 198     for (i = 0; i < 8; i++) {
 199         vmcs_read(sels[i], &(tmp_seg.selector), 2);
 200         vmcs_read(bases[i], &(tmp_seg.base), 4);
 201         vmcs_read(limits[i], &(tmp_seg.limit), 4);
 202         vmcs_read(accesses[i], &(tmp_seg.access.value), 4);
 203
 204     }
 205
 206
 207     VMCS_GUEST_GDTR_BASE;
 208     VMCS_GUEST_GDTR_LIMIT;
 209
 210     VMCS_GUEST_IDTR_BASE;
 211     VMCS_GUEST_IDTR_LIMIT;
 212
 213
 214 }
 215
 216
 217 static void print_guest_reg_state() {
 218     PrintDebug(" Guest Register State\n");
 219     PrintDebug("\tGuest Ctrl Regs\n");
 220
 221     PrintDebug_GUEST_CR0();
 222     PrintDebug_GUEST_CR3();
 223     PrintDebug_GUEST_CR4();
 224
 225     PrintDebug_GUEST_DR7();
 226
 227     PrintDebug_GUEST_RSP();
 228     PrintDebug_GUEST_RIP();
 229   PrintDebug_GUEST_RFLAGS();
 230   PrintDebug_GUEST_IA32_DEBUGCTL();
 231   PrintDebug_GUEST_IA32_DEBUGCTL_HIGH();
 232   PrintDebug_GUEST_IA32_SYSENTER_CS();
 233   PrintDebug_GUEST_IA32_SYSENTER_ESP();
 234   PrintDebug_GUEST_IA32_SYSENTER_EIP();
 235   PrintDebug_GUEST_SMBASE();
 236
 237
 238
 239 }
 240
 241
 242 void PrintVMCS() {
 243
 244   PrintDebug("==>Guest State Area\n");
 245
 246   PrintDebug("==>==> Guest Non-Register State\n");
 247   PrintDebug_GUEST_ACTIVITY_STATE();
 248   PrintDebug_GUEST_INT_STATE();
 249   PrintDebug_GUEST_PENDING_DEBUG_EXCS();
 250   PrintDebug_VMCS_LINK_PTR();
 251   PrintDebug_VMCS_LINK_PTR_HIGH();
 252
 253   PrintDebug("\n==> Host State Area\n");
 254   PrintDebug_HOST_CR0();
 255   PrintDebug_HOST_CR3();
 256   PrintDebug_HOST_CR4();
 257   PrintDebug_HOST_RSP();
 258   PrintDebug_HOST_RIP();
 259   PrintDebug_VMCS_HOST_CS_SELECTOR();
 260   PrintDebug_VMCS_HOST_SS_SELECTOR();
 261   PrintDebug_VMCS_HOST_DS_SELECTOR();
 262   PrintDebug_VMCS_HOST_ES_SELECTOR();
 263   PrintDebug_VMCS_HOST_FS_SELECTOR();
 264   PrintDebug_VMCS_HOST_GS_SELECTOR();
 265   PrintDebug_VMCS_HOST_TR_SELECTOR();
 266   PrintDebug_HOST_FS_BASE();
 267   PrintDebug_HOST_GS_BASE();
 268   PrintDebug_HOST_TR_BASE();
 269   PrintDebug_HOST_GDTR_BASE();
 270   PrintDebug_HOST_IDTR_BASE();
 271   PrintDebug_HOST_IA32_SYSENTER_CS();
 272   PrintDebug_HOST_IA32_SYSENTER_ESP();
 273   PrintDebug_HOST_IA32_SYSENTER_EIP();
 274
 275
 276   PrintDebug("\n==> VM-Execution Controls:\n");
 277   PrintDebug_PIN_VM_EXEC_CTRLS();
 278   PrintDebug_PROC_VM_EXEC_CTRLS();
 279   PrintDebug_EXCEPTION_BITMAP();
 280   PrintDebug_PAGE_FAULT_ERROR_MASK();
 281   PrintDebug_PAGE_FAULT_ERROR_MATCH();
 282   PrintDebug_IO_BITMAP_A_ADDR();
 283   PrintDebug_IO_BITMAP_A_ADDR_HIGH();
 284   PrintDebug_IO_BITMAP_B_ADDR();
 285   PrintDebug_IO_BITMAP_B_ADDR_HIGH();
 286   PrintDebug_TSC_OFFSET();
 287   PrintDebug_TSC_OFFSET_HIGH();
 288   PrintDebug_CR0_GUEST_HOST_MASK();
 289   PrintDebug_CR0_READ_SHADOW();
 290   PrintDebug_CR4_GUEST_HOST_MASK();
 291   PrintDebug_CR4_READ_SHADOW();
 292   PrintDebug_CR3_TARGET_COUNT();
 293   PrintDebug_CR3_TARGET_VALUE_0();
 294   PrintDebug_CR3_TARGET_VALUE_1();
 295   PrintDebug_CR3_TARGET_VALUE_2();
 296   PrintDebug_CR3_TARGET_VALUE_3();
 297   PrintDebug_VIRT_APIC_PAGE_ADDR();
 298   PrintDebug_VIRT_APIC_PAGE_ADDR_HIGH();
 299   PrintDebug_TPR_THRESHOLD();
 300   PrintDebug_MSR_BITMAPS();
 301   PrintDebug_MSR_BITMAPS_HIGH();
 302   PrintDebug_VMCS_EXEC_PTR();
 303   PrintDebug_VMCS_EXEC_PTR_HIGH();
 304
 305   PrintDebug("\n==> VM Exit Controls\n");
 306   PrintDebug_VM_EXIT_CTRLS();
 307   PrintDebug_VM_EXIT_MSR_STORE_COUNT();
 308   PrintDebug_VM_EXIT_MSR_STORE_ADDR();
 309   PrintDebug_VM_EXIT_MSR_STORE_ADDR_HIGH();
 310   PrintDebug_VM_EXIT_MSR_LOAD_COUNT();
 311   PrintDebug_VM_EXIT_MSR_LOAD_ADDR();
 312   PrintDebug_VM_EXIT_MSR_LOAD_ADDR_HIGH();
 313
 314   PrintDebug("\n==> VM Entry Controls\n");
 315   PrintDebug_VM_ENTRY_CTRLS();
 316   PrintDebug_VM_ENTRY_MSR_LOAD_COUNT();
 317   PrintDebug_VM_ENTRY_MSR_LOAD_ADDR();
 318   PrintDebug_VM_ENTRY_MSR_LOAD_ADDR_HIGH();
 319   PrintDebug_VM_ENTRY_INT_INFO_FIELD();
 320   PrintDebug_VM_ENTRY_EXCEPTION_ERROR();
 321   PrintDebug_VM_ENTRY_INSTR_LENGTH();
 322
 323   PrintDebug("\n==> VM Exit Info\n");
 324   PrintDebug_EXIT_REASON();
 325   PrintDebug_EXIT_QUALIFICATION();
 326   PrintDebug_VM_EXIT_INT_INFO();
 327   PrintDebug_VM_EXIT_INT_ERROR();
 328   PrintDebug_IDT_VECTOR_INFO();
 329   PrintDebug_IDT_VECTOR_ERROR();
 330   PrintDebug_VM_EXIT_INSTR_LENGTH();
 331   PrintDebug_GUEST_LINEAR_ADDR();
 332   PrintDebug_VMX_INSTR_INFO();
 333   PrintDebug_IO_RCX();
 334   PrintDebug_IO_RSI();
 335   PrintDebug_IO_RDI();
 336   PrintDebug_IO_RIP();
 337   PrintDebug_VM_INSTR_ERROR();
 338   PrintDebug("\n");
 339 }