2 * This file is part of the Palacios Virtual Machine Monitor developed
3 * by the V3VEE Project with funding from the United States National
4 * Science Foundation and the Department of Energy.
6 * The V3VEE Project is a joint project between Northwestern University
7 * and the University of New Mexico. You can find out more at
10 * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
11 * All rights reserved.
13 * Author: Automatically Generated File
15 * This is free software. You are permitted to use,
16 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
25 #include <palacios/vmcs.h>
26 #include <palacios/vmm.h>
28 void Set_VMCS_GUEST_ES_SELECTOR(uint_t val);
29 uint_t Get_VMCS_GUEST_ES_SELECTOR();
31 void PrintTrace_VMCS_GUEST_ES_SELECTOR();
34 void Set_VMCS_GUEST_CS_SELECTOR(uint_t val);
35 uint_t Get_VMCS_GUEST_CS_SELECTOR();
37 void PrintTrace_VMCS_GUEST_CS_SELECTOR();
40 void Set_VMCS_GUEST_SS_SELECTOR(uint_t val);
41 uint_t Get_VMCS_GUEST_SS_SELECTOR();
43 void PrintTrace_VMCS_GUEST_SS_SELECTOR();
46 void Set_VMCS_GUEST_DS_SELECTOR(uint_t val);
47 uint_t Get_VMCS_GUEST_DS_SELECTOR();
49 void PrintTrace_VMCS_GUEST_DS_SELECTOR();
52 void Set_VMCS_GUEST_FS_SELECTOR(uint_t val);
53 uint_t Get_VMCS_GUEST_FS_SELECTOR();
55 void PrintTrace_VMCS_GUEST_FS_SELECTOR();
58 void Set_VMCS_GUEST_GS_SELECTOR(uint_t val);
59 uint_t Get_VMCS_GUEST_GS_SELECTOR();
61 void PrintTrace_VMCS_GUEST_GS_SELECTOR();
64 void Set_VMCS_GUEST_LDTR_SELECTOR(uint_t val);
65 uint_t Get_VMCS_GUEST_LDTR_SELECTOR();
67 void PrintTrace_VMCS_GUEST_LDTR_SELECTOR();
70 void Set_VMCS_GUEST_TR_SELECTOR(uint_t val);
71 uint_t Get_VMCS_GUEST_TR_SELECTOR();
73 void PrintTrace_VMCS_GUEST_TR_SELECTOR();
76 void Set_VMCS_HOST_ES_SELECTOR(uint_t val);
77 uint_t Get_VMCS_HOST_ES_SELECTOR();
79 void PrintTrace_VMCS_HOST_ES_SELECTOR();
82 void Set_VMCS_HOST_CS_SELECTOR(uint_t val);
83 uint_t Get_VMCS_HOST_CS_SELECTOR();
85 void PrintTrace_VMCS_HOST_CS_SELECTOR();
88 void Set_VMCS_HOST_SS_SELECTOR(uint_t val);
89 uint_t Get_VMCS_HOST_SS_SELECTOR();
91 void PrintTrace_VMCS_HOST_SS_SELECTOR();
94 void Set_VMCS_HOST_DS_SELECTOR(uint_t val);
95 uint_t Get_VMCS_HOST_DS_SELECTOR();
97 void PrintTrace_VMCS_HOST_DS_SELECTOR();
100 void Set_VMCS_HOST_FS_SELECTOR(uint_t val);
101 uint_t Get_VMCS_HOST_FS_SELECTOR();
103 void PrintTrace_VMCS_HOST_FS_SELECTOR();
106 void Set_VMCS_HOST_GS_SELECTOR(uint_t val);
107 uint_t Get_VMCS_HOST_GS_SELECTOR();
109 void PrintTrace_VMCS_HOST_GS_SELECTOR();
112 void Set_VMCS_HOST_TR_SELECTOR(uint_t val);
113 uint_t Get_VMCS_HOST_TR_SELECTOR();
115 void PrintTrace_VMCS_HOST_TR_SELECTOR();
118 void Set_IO_BITMAP_A_ADDR(uint_t val);
119 uint_t Get_IO_BITMAP_A_ADDR();
121 void PrintTrace_IO_BITMAP_A_ADDR();
124 void Set_IO_BITMAP_A_ADDR_HIGH(uint_t val);
125 uint_t Get_IO_BITMAP_A_ADDR_HIGH();
127 void PrintTrace_IO_BITMAP_A_ADDR_HIGH();
130 void Set_IO_BITMAP_B_ADDR(uint_t val);
131 uint_t Get_IO_BITMAP_B_ADDR();
133 void PrintTrace_IO_BITMAP_B_ADDR();
136 void Set_IO_BITMAP_B_ADDR_HIGH(uint_t val);
137 uint_t Get_IO_BITMAP_B_ADDR_HIGH();
139 void PrintTrace_IO_BITMAP_B_ADDR_HIGH();
142 void Set_MSR_BITMAPS(uint_t val);
143 uint_t Get_MSR_BITMAPS();
145 void PrintTrace_MSR_BITMAPS();
148 void Set_MSR_BITMAPS_HIGH(uint_t val);
149 uint_t Get_MSR_BITMAPS_HIGH();
151 void PrintTrace_MSR_BITMAPS_HIGH();
154 void Set_VM_EXIT_MSR_STORE_ADDR(uint_t val);
155 uint_t Get_VM_EXIT_MSR_STORE_ADDR();
157 void PrintTrace_VM_EXIT_MSR_STORE_ADDR();
160 void Set_VM_EXIT_MSR_STORE_ADDR_HIGH(uint_t val);
161 uint_t Get_VM_EXIT_MSR_STORE_ADDR_HIGH();
163 void PrintTrace_VM_EXIT_MSR_STORE_ADDR_HIGH();
166 void Set_VM_EXIT_MSR_LOAD_ADDR(uint_t val);
167 uint_t Get_VM_EXIT_MSR_LOAD_ADDR();
169 void PrintTrace_VM_EXIT_MSR_LOAD_ADDR();
172 void Set_VM_EXIT_MSR_LOAD_ADDR_HIGH(uint_t val);
173 uint_t Get_VM_EXIT_MSR_LOAD_ADDR_HIGH();
175 void PrintTrace_VM_EXIT_MSR_LOAD_ADDR_HIGH();
178 void Set_VM_ENTRY_MSR_LOAD_ADDR(uint_t val);
179 uint_t Get_VM_ENTRY_MSR_LOAD_ADDR();
181 void PrintTrace_VM_ENTRY_MSR_LOAD_ADDR();
184 void Set_VM_ENTRY_MSR_LOAD_ADDR_HIGH(uint_t val);
185 uint_t Get_VM_ENTRY_MSR_LOAD_ADDR_HIGH();
187 void PrintTrace_VM_ENTRY_MSR_LOAD_ADDR_HIGH();
190 void Set_VMCS_EXEC_PTR(uint_t val);
191 uint_t Get_VMCS_EXEC_PTR();
193 void PrintTrace_VMCS_EXEC_PTR();
196 void Set_VMCS_EXEC_PTR_HIGH(uint_t val);
197 uint_t Get_VMCS_EXEC_PTR_HIGH();
199 void PrintTrace_VMCS_EXEC_PTR_HIGH();
202 void Set_TSC_OFFSET(uint_t val);
203 uint_t Get_TSC_OFFSET();
205 void PrintTrace_TSC_OFFSET();
208 void Set_TSC_OFFSET_HIGH(uint_t val);
209 uint_t Get_TSC_OFFSET_HIGH();
211 void PrintTrace_TSC_OFFSET_HIGH();
214 void Set_VIRT_APIC_PAGE_ADDR(uint_t val);
215 uint_t Get_VIRT_APIC_PAGE_ADDR();
217 void PrintTrace_VIRT_APIC_PAGE_ADDR();
220 void Set_VIRT_APIC_PAGE_ADDR_HIGH(uint_t val);
221 uint_t Get_VIRT_APIC_PAGE_ADDR_HIGH();
223 void PrintTrace_VIRT_APIC_PAGE_ADDR_HIGH();
226 void Set_VMCS_LINK_PTR(uint_t val);
227 uint_t Get_VMCS_LINK_PTR();
229 void PrintTrace_VMCS_LINK_PTR();
232 void Set_VMCS_LINK_PTR_HIGH(uint_t val);
233 uint_t Get_VMCS_LINK_PTR_HIGH();
235 void PrintTrace_VMCS_LINK_PTR_HIGH();
238 void Set_GUEST_IA32_DEBUGCTL(uint_t val);
239 uint_t Get_GUEST_IA32_DEBUGCTL();
241 void PrintTrace_GUEST_IA32_DEBUGCTL();
244 void Set_GUEST_IA32_DEBUGCTL_HIGH(uint_t val);
245 uint_t Get_GUEST_IA32_DEBUGCTL_HIGH();
247 void PrintTrace_GUEST_IA32_DEBUGCTL_HIGH();
250 void Set_PIN_VM_EXEC_CTRLS(uint_t val);
251 uint_t Get_PIN_VM_EXEC_CTRLS();
253 void PrintTrace_PIN_VM_EXEC_CTRLS();
256 void Set_PROC_VM_EXEC_CTRLS(uint_t val);
257 uint_t Get_PROC_VM_EXEC_CTRLS();
259 void PrintTrace_PROC_VM_EXEC_CTRLS();
262 void Set_EXCEPTION_BITMAP(uint_t val);
263 uint_t Get_EXCEPTION_BITMAP();
265 void PrintTrace_EXCEPTION_BITMAP();
268 void Set_PAGE_FAULT_ERROR_MASK(uint_t val);
269 uint_t Get_PAGE_FAULT_ERROR_MASK();
271 void PrintTrace_PAGE_FAULT_ERROR_MASK();
274 void Set_PAGE_FAULT_ERROR_MATCH(uint_t val);
275 uint_t Get_PAGE_FAULT_ERROR_MATCH();
277 void PrintTrace_PAGE_FAULT_ERROR_MATCH();
280 void Set_CR3_TARGET_COUNT(uint_t val);
281 uint_t Get_CR3_TARGET_COUNT();
283 void PrintTrace_CR3_TARGET_COUNT();
286 void Set_VM_EXIT_CTRLS(uint_t val);
287 uint_t Get_VM_EXIT_CTRLS();
289 void PrintTrace_VM_EXIT_CTRLS();
292 void Set_VM_EXIT_MSR_STORE_COUNT(uint_t val);
293 uint_t Get_VM_EXIT_MSR_STORE_COUNT();
295 void PrintTrace_VM_EXIT_MSR_STORE_COUNT();
298 void Set_VM_EXIT_MSR_LOAD_COUNT(uint_t val);
299 uint_t Get_VM_EXIT_MSR_LOAD_COUNT();
301 void PrintTrace_VM_EXIT_MSR_LOAD_COUNT();
304 void Set_VM_ENTRY_CTRLS(uint_t val);
305 uint_t Get_VM_ENTRY_CTRLS();
307 void PrintTrace_VM_ENTRY_CTRLS();
310 void Set_VM_ENTRY_MSR_LOAD_COUNT(uint_t val);
311 uint_t Get_VM_ENTRY_MSR_LOAD_COUNT();
313 void PrintTrace_VM_ENTRY_MSR_LOAD_COUNT();
316 void Set_VM_ENTRY_INT_INFO_FIELD(uint_t val);
317 uint_t Get_VM_ENTRY_INT_INFO_FIELD();
319 void PrintTrace_VM_ENTRY_INT_INFO_FIELD();
322 void Set_VM_ENTRY_EXCEPTION_ERROR(uint_t val);
323 uint_t Get_VM_ENTRY_EXCEPTION_ERROR();
325 void PrintTrace_VM_ENTRY_EXCEPTION_ERROR();
328 void Set_VM_ENTRY_INSTR_LENGTH(uint_t val);
329 uint_t Get_VM_ENTRY_INSTR_LENGTH();
331 void PrintTrace_VM_ENTRY_INSTR_LENGTH();
334 void Set_TPR_THRESHOLD(uint_t val);
335 uint_t Get_TPR_THRESHOLD();
337 void PrintTrace_TPR_THRESHOLD();
340 void Set_VM_INSTR_ERROR(uint_t val);
341 uint_t Get_VM_INSTR_ERROR();
343 void PrintTrace_VM_INSTR_ERROR();
346 void Set_EXIT_REASON(uint_t val);
347 uint_t Get_EXIT_REASON();
349 void PrintTrace_EXIT_REASON();
352 void Set_VM_EXIT_INT_INFO(uint_t val);
353 uint_t Get_VM_EXIT_INT_INFO();
355 void PrintTrace_VM_EXIT_INT_INFO();
358 void Set_VM_EXIT_INT_ERROR(uint_t val);
359 uint_t Get_VM_EXIT_INT_ERROR();
361 void PrintTrace_VM_EXIT_INT_ERROR();
364 void Set_IDT_VECTOR_INFO(uint_t val);
365 uint_t Get_IDT_VECTOR_INFO();
367 void PrintTrace_IDT_VECTOR_INFO();
370 void Set_IDT_VECTOR_ERROR(uint_t val);
371 uint_t Get_IDT_VECTOR_ERROR();
373 void PrintTrace_IDT_VECTOR_ERROR();
376 void Set_VM_EXIT_INSTR_LENGTH(uint_t val);
377 uint_t Get_VM_EXIT_INSTR_LENGTH();
379 void PrintTrace_VM_EXIT_INSTR_LENGTH();
382 void Set_VMX_INSTR_INFO(uint_t val);
383 uint_t Get_VMX_INSTR_INFO();
385 void PrintTrace_VMX_INSTR_INFO();
388 void Set_GUEST_ES_LIMIT(uint_t val);
389 uint_t Get_GUEST_ES_LIMIT();
391 void PrintTrace_GUEST_ES_LIMIT();
394 void Set_GUEST_CS_LIMIT(uint_t val);
395 uint_t Get_GUEST_CS_LIMIT();
397 void PrintTrace_GUEST_CS_LIMIT();
400 void Set_GUEST_SS_LIMIT(uint_t val);
401 uint_t Get_GUEST_SS_LIMIT();
403 void PrintTrace_GUEST_SS_LIMIT();
406 void Set_GUEST_DS_LIMIT(uint_t val);
407 uint_t Get_GUEST_DS_LIMIT();
409 void PrintTrace_GUEST_DS_LIMIT();
412 void Set_GUEST_FS_LIMIT(uint_t val);
413 uint_t Get_GUEST_FS_LIMIT();
415 void PrintTrace_GUEST_FS_LIMIT();
418 void Set_GUEST_GS_LIMIT(uint_t val);
419 uint_t Get_GUEST_GS_LIMIT();
421 void PrintTrace_GUEST_GS_LIMIT();
424 void Set_GUEST_LDTR_LIMIT(uint_t val);
425 uint_t Get_GUEST_LDTR_LIMIT();
427 void PrintTrace_GUEST_LDTR_LIMIT();
430 void Set_GUEST_TR_LIMIT(uint_t val);
431 uint_t Get_GUEST_TR_LIMIT();
433 void PrintTrace_GUEST_TR_LIMIT();
436 void Set_GUEST_GDTR_LIMIT(uint_t val);
437 uint_t Get_GUEST_GDTR_LIMIT();
439 void PrintTrace_GUEST_GDTR_LIMIT();
442 void Set_GUEST_IDTR_LIMIT(uint_t val);
443 uint_t Get_GUEST_IDTR_LIMIT();
445 void PrintTrace_GUEST_IDTR_LIMIT();
448 void Set_GUEST_ES_ACCESS(uint_t val);
449 uint_t Get_GUEST_ES_ACCESS();
451 void PrintTrace_GUEST_ES_ACCESS();
454 void Set_GUEST_CS_ACCESS(uint_t val);
455 uint_t Get_GUEST_CS_ACCESS();
457 void PrintTrace_GUEST_CS_ACCESS();
460 void Set_GUEST_SS_ACCESS(uint_t val);
461 uint_t Get_GUEST_SS_ACCESS();
463 void PrintTrace_GUEST_SS_ACCESS();
466 void Set_GUEST_DS_ACCESS(uint_t val);
467 uint_t Get_GUEST_DS_ACCESS();
469 void PrintTrace_GUEST_DS_ACCESS();
472 void Set_GUEST_FS_ACCESS(uint_t val);
473 uint_t Get_GUEST_FS_ACCESS();
475 void PrintTrace_GUEST_FS_ACCESS();
478 void Set_GUEST_GS_ACCESS(uint_t val);
479 uint_t Get_GUEST_GS_ACCESS();
481 void PrintTrace_GUEST_GS_ACCESS();
484 void Set_GUEST_LDTR_ACCESS(uint_t val);
485 uint_t Get_GUEST_LDTR_ACCESS();
487 void PrintTrace_GUEST_LDTR_ACCESS();
490 void Set_GUEST_TR_ACCESS(uint_t val);
491 uint_t Get_GUEST_TR_ACCESS();
493 void PrintTrace_GUEST_TR_ACCESS();
496 void Set_GUEST_INT_STATE(uint_t val);
497 uint_t Get_GUEST_INT_STATE();
499 void PrintTrace_GUEST_INT_STATE();
502 void Set_GUEST_ACTIVITY_STATE(uint_t val);
503 uint_t Get_GUEST_ACTIVITY_STATE();
505 void PrintTrace_GUEST_ACTIVITY_STATE();
508 void Set_GUEST_SMBASE(uint_t val);
509 uint_t Get_GUEST_SMBASE();
511 void PrintTrace_GUEST_SMBASE();
514 void Set_GUEST_IA32_SYSENTER_CS(uint_t val);
515 uint_t Get_GUEST_IA32_SYSENTER_CS();
517 void PrintTrace_GUEST_IA32_SYSENTER_CS();
520 void Set_HOST_IA32_SYSENTER_CS(uint_t val);
521 uint_t Get_HOST_IA32_SYSENTER_CS();
523 void PrintTrace_HOST_IA32_SYSENTER_CS();
526 void Set_CR0_GUEST_HOST_MASK(uint_t val);
527 uint_t Get_CR0_GUEST_HOST_MASK();
529 void PrintTrace_CR0_GUEST_HOST_MASK();
532 void Set_CR4_GUEST_HOST_MASK(uint_t val);
533 uint_t Get_CR4_GUEST_HOST_MASK();
535 void PrintTrace_CR4_GUEST_HOST_MASK();
538 void Set_CR0_READ_SHADOW(uint_t val);
539 uint_t Get_CR0_READ_SHADOW();
541 void PrintTrace_CR0_READ_SHADOW();
544 void Set_CR4_READ_SHADOW(uint_t val);
545 uint_t Get_CR4_READ_SHADOW();
547 void PrintTrace_CR4_READ_SHADOW();
550 void Set_CR3_TARGET_VALUE_0(uint_t val);
551 uint_t Get_CR3_TARGET_VALUE_0();
553 void PrintTrace_CR3_TARGET_VALUE_0();
556 void Set_CR3_TARGET_VALUE_1(uint_t val);
557 uint_t Get_CR3_TARGET_VALUE_1();
559 void PrintTrace_CR3_TARGET_VALUE_1();
562 void Set_CR3_TARGET_VALUE_2(uint_t val);
563 uint_t Get_CR3_TARGET_VALUE_2();
565 void PrintTrace_CR3_TARGET_VALUE_2();
568 void Set_CR3_TARGET_VALUE_3(uint_t val);
569 uint_t Get_CR3_TARGET_VALUE_3();
571 void PrintTrace_CR3_TARGET_VALUE_3();
574 void Set_EXIT_QUALIFICATION(uint_t val);
575 uint_t Get_EXIT_QUALIFICATION();
577 void PrintTrace_EXIT_QUALIFICATION();
580 void Set_IO_RCX(uint_t val);
583 void PrintTrace_IO_RCX();
586 void Set_IO_RSI(uint_t val);
589 void PrintTrace_IO_RSI();
592 void Set_IO_RDI(uint_t val);
595 void PrintTrace_IO_RDI();
598 void Set_IO_RIP(uint_t val);
601 void PrintTrace_IO_RIP();
604 void Set_GUEST_LINEAR_ADDR(uint_t val);
605 uint_t Get_GUEST_LINEAR_ADDR();
607 void PrintTrace_GUEST_LINEAR_ADDR();
610 void Set_GUEST_CR0(uint_t val);
611 uint_t Get_GUEST_CR0();
613 void PrintTrace_GUEST_CR0();
616 void Set_GUEST_CR3(uint_t val);
617 uint_t Get_GUEST_CR3();
619 void PrintTrace_GUEST_CR3();
622 void Set_GUEST_CR4(uint_t val);
623 uint_t Get_GUEST_CR4();
625 void PrintTrace_GUEST_CR4();
628 void Set_GUEST_ES_BASE(uint_t val);
629 uint_t Get_GUEST_ES_BASE();
631 void PrintTrace_GUEST_ES_BASE();
634 void Set_GUEST_CS_BASE(uint_t val);
635 uint_t Get_GUEST_CS_BASE();
637 void PrintTrace_GUEST_CS_BASE();
640 void Set_GUEST_SS_BASE(uint_t val);
641 uint_t Get_GUEST_SS_BASE();
643 void PrintTrace_GUEST_SS_BASE();
646 void Set_GUEST_DS_BASE(uint_t val);
647 uint_t Get_GUEST_DS_BASE();
649 void PrintTrace_GUEST_DS_BASE();
652 void Set_GUEST_FS_BASE(uint_t val);
653 uint_t Get_GUEST_FS_BASE();
655 void PrintTrace_GUEST_FS_BASE();
658 void Set_GUEST_GS_BASE(uint_t val);
659 uint_t Get_GUEST_GS_BASE();
661 void PrintTrace_GUEST_GS_BASE();
664 void Set_GUEST_LDTR_BASE(uint_t val);
665 uint_t Get_GUEST_LDTR_BASE();
667 void PrintTrace_GUEST_LDTR_BASE();
670 void Set_GUEST_TR_BASE(uint_t val);
671 uint_t Get_GUEST_TR_BASE();
673 void PrintTrace_GUEST_TR_BASE();
676 void Set_GUEST_GDTR_BASE(uint_t val);
677 uint_t Get_GUEST_GDTR_BASE();
679 void PrintTrace_GUEST_GDTR_BASE();
682 void Set_GUEST_IDTR_BASE(uint_t val);
683 uint_t Get_GUEST_IDTR_BASE();
685 void PrintTrace_GUEST_IDTR_BASE();
688 void Set_GUEST_DR7(uint_t val);
689 uint_t Get_GUEST_DR7();
691 void PrintTrace_GUEST_DR7();
694 void Set_GUEST_RSP(uint_t val);
695 uint_t Get_GUEST_RSP();
697 void PrintTrace_GUEST_RSP();
700 void Set_GUEST_RIP(uint_t val);
701 uint_t Get_GUEST_RIP();
703 void PrintTrace_GUEST_RIP();
706 void Set_GUEST_RFLAGS(uint_t val);
707 uint_t Get_GUEST_RFLAGS();
709 void PrintTrace_GUEST_RFLAGS();
712 void Set_GUEST_PENDING_DEBUG_EXCS(uint_t val);
713 uint_t Get_GUEST_PENDING_DEBUG_EXCS();
715 void PrintTrace_GUEST_PENDING_DEBUG_EXCS();
718 void Set_GUEST_IA32_SYSENTER_ESP(uint_t val);
719 uint_t Get_GUEST_IA32_SYSENTER_ESP();
721 void PrintTrace_GUEST_IA32_SYSENTER_ESP();
724 void Set_GUEST_IA32_SYSENTER_EIP(uint_t val);
725 uint_t Get_GUEST_IA32_SYSENTER_EIP();
727 void PrintTrace_GUEST_IA32_SYSENTER_EIP();
730 void Set_HOST_CR0(uint_t val);
731 uint_t Get_HOST_CR0();
733 void PrintTrace_HOST_CR0();
736 void Set_HOST_CR3(uint_t val);
737 uint_t Get_HOST_CR3();
739 void PrintTrace_HOST_CR3();
742 void Set_HOST_CR4(uint_t val);
743 uint_t Get_HOST_CR4();
745 void PrintTrace_HOST_CR4();
748 void Set_HOST_FS_BASE(uint_t val);
749 uint_t Get_HOST_FS_BASE();
751 void PrintTrace_HOST_FS_BASE();
754 void Set_HOST_GS_BASE(uint_t val);
755 uint_t Get_HOST_GS_BASE();
757 void PrintTrace_HOST_GS_BASE();
760 void Set_HOST_TR_BASE(uint_t val);
761 uint_t Get_HOST_TR_BASE();
763 void PrintTrace_HOST_TR_BASE();
766 void Set_HOST_GDTR_BASE(uint_t val);
767 uint_t Get_HOST_GDTR_BASE();
769 void PrintTrace_HOST_GDTR_BASE();
772 void Set_HOST_IDTR_BASE(uint_t val);
773 uint_t Get_HOST_IDTR_BASE();
775 void PrintTrace_HOST_IDTR_BASE();
778 void Set_HOST_IA32_SYSENTER_ESP(uint_t val);
779 uint_t Get_HOST_IA32_SYSENTER_ESP();
781 void PrintTrace_HOST_IA32_SYSENTER_ESP();
784 void Set_HOST_IA32_SYSENTER_EIP(uint_t val);
785 uint_t Get_HOST_IA32_SYSENTER_EIP();
787 void PrintTrace_HOST_IA32_SYSENTER_EIP();
790 void Set_HOST_RSP(uint_t val);
791 uint_t Get_HOST_RSP();
793 void PrintTrace_HOST_RSP();
796 void Set_HOST_RIP(uint_t val);
797 uint_t Get_HOST_RIP();
799 void PrintTrace_HOST_RIP();
801 void PrintTrace_VMCS_ALL();