1 /* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
6 #include <palacios/vmcs.h>
7 #include <palacios/vmm.h>
9 void Set_VMCS_GUEST_ES_SELECTOR(uint_t val);
10 uint_t Get_VMCS_GUEST_ES_SELECTOR();
12 void PrintTrace_VMCS_GUEST_ES_SELECTOR();
15 void Set_VMCS_GUEST_CS_SELECTOR(uint_t val);
16 uint_t Get_VMCS_GUEST_CS_SELECTOR();
18 void PrintTrace_VMCS_GUEST_CS_SELECTOR();
21 void Set_VMCS_GUEST_SS_SELECTOR(uint_t val);
22 uint_t Get_VMCS_GUEST_SS_SELECTOR();
24 void PrintTrace_VMCS_GUEST_SS_SELECTOR();
27 void Set_VMCS_GUEST_DS_SELECTOR(uint_t val);
28 uint_t Get_VMCS_GUEST_DS_SELECTOR();
30 void PrintTrace_VMCS_GUEST_DS_SELECTOR();
33 void Set_VMCS_GUEST_FS_SELECTOR(uint_t val);
34 uint_t Get_VMCS_GUEST_FS_SELECTOR();
36 void PrintTrace_VMCS_GUEST_FS_SELECTOR();
39 void Set_VMCS_GUEST_GS_SELECTOR(uint_t val);
40 uint_t Get_VMCS_GUEST_GS_SELECTOR();
42 void PrintTrace_VMCS_GUEST_GS_SELECTOR();
45 void Set_VMCS_GUEST_LDTR_SELECTOR(uint_t val);
46 uint_t Get_VMCS_GUEST_LDTR_SELECTOR();
48 void PrintTrace_VMCS_GUEST_LDTR_SELECTOR();
51 void Set_VMCS_GUEST_TR_SELECTOR(uint_t val);
52 uint_t Get_VMCS_GUEST_TR_SELECTOR();
54 void PrintTrace_VMCS_GUEST_TR_SELECTOR();
57 void Set_VMCS_HOST_ES_SELECTOR(uint_t val);
58 uint_t Get_VMCS_HOST_ES_SELECTOR();
60 void PrintTrace_VMCS_HOST_ES_SELECTOR();
63 void Set_VMCS_HOST_CS_SELECTOR(uint_t val);
64 uint_t Get_VMCS_HOST_CS_SELECTOR();
66 void PrintTrace_VMCS_HOST_CS_SELECTOR();
69 void Set_VMCS_HOST_SS_SELECTOR(uint_t val);
70 uint_t Get_VMCS_HOST_SS_SELECTOR();
72 void PrintTrace_VMCS_HOST_SS_SELECTOR();
75 void Set_VMCS_HOST_DS_SELECTOR(uint_t val);
76 uint_t Get_VMCS_HOST_DS_SELECTOR();
78 void PrintTrace_VMCS_HOST_DS_SELECTOR();
81 void Set_VMCS_HOST_FS_SELECTOR(uint_t val);
82 uint_t Get_VMCS_HOST_FS_SELECTOR();
84 void PrintTrace_VMCS_HOST_FS_SELECTOR();
87 void Set_VMCS_HOST_GS_SELECTOR(uint_t val);
88 uint_t Get_VMCS_HOST_GS_SELECTOR();
90 void PrintTrace_VMCS_HOST_GS_SELECTOR();
93 void Set_VMCS_HOST_TR_SELECTOR(uint_t val);
94 uint_t Get_VMCS_HOST_TR_SELECTOR();
96 void PrintTrace_VMCS_HOST_TR_SELECTOR();
99 void Set_IO_BITMAP_A_ADDR(uint_t val);
100 uint_t Get_IO_BITMAP_A_ADDR();
102 void PrintTrace_IO_BITMAP_A_ADDR();
105 void Set_IO_BITMAP_A_ADDR_HIGH(uint_t val);
106 uint_t Get_IO_BITMAP_A_ADDR_HIGH();
108 void PrintTrace_IO_BITMAP_A_ADDR_HIGH();
111 void Set_IO_BITMAP_B_ADDR(uint_t val);
112 uint_t Get_IO_BITMAP_B_ADDR();
114 void PrintTrace_IO_BITMAP_B_ADDR();
117 void Set_IO_BITMAP_B_ADDR_HIGH(uint_t val);
118 uint_t Get_IO_BITMAP_B_ADDR_HIGH();
120 void PrintTrace_IO_BITMAP_B_ADDR_HIGH();
123 void Set_MSR_BITMAPS(uint_t val);
124 uint_t Get_MSR_BITMAPS();
126 void PrintTrace_MSR_BITMAPS();
129 void Set_MSR_BITMAPS_HIGH(uint_t val);
130 uint_t Get_MSR_BITMAPS_HIGH();
132 void PrintTrace_MSR_BITMAPS_HIGH();
135 void Set_VM_EXIT_MSR_STORE_ADDR(uint_t val);
136 uint_t Get_VM_EXIT_MSR_STORE_ADDR();
138 void PrintTrace_VM_EXIT_MSR_STORE_ADDR();
141 void Set_VM_EXIT_MSR_STORE_ADDR_HIGH(uint_t val);
142 uint_t Get_VM_EXIT_MSR_STORE_ADDR_HIGH();
144 void PrintTrace_VM_EXIT_MSR_STORE_ADDR_HIGH();
147 void Set_VM_EXIT_MSR_LOAD_ADDR(uint_t val);
148 uint_t Get_VM_EXIT_MSR_LOAD_ADDR();
150 void PrintTrace_VM_EXIT_MSR_LOAD_ADDR();
153 void Set_VM_EXIT_MSR_LOAD_ADDR_HIGH(uint_t val);
154 uint_t Get_VM_EXIT_MSR_LOAD_ADDR_HIGH();
156 void PrintTrace_VM_EXIT_MSR_LOAD_ADDR_HIGH();
159 void Set_VM_ENTRY_MSR_LOAD_ADDR(uint_t val);
160 uint_t Get_VM_ENTRY_MSR_LOAD_ADDR();
162 void PrintTrace_VM_ENTRY_MSR_LOAD_ADDR();
165 void Set_VM_ENTRY_MSR_LOAD_ADDR_HIGH(uint_t val);
166 uint_t Get_VM_ENTRY_MSR_LOAD_ADDR_HIGH();
168 void PrintTrace_VM_ENTRY_MSR_LOAD_ADDR_HIGH();
171 void Set_VMCS_EXEC_PTR(uint_t val);
172 uint_t Get_VMCS_EXEC_PTR();
174 void PrintTrace_VMCS_EXEC_PTR();
177 void Set_VMCS_EXEC_PTR_HIGH(uint_t val);
178 uint_t Get_VMCS_EXEC_PTR_HIGH();
180 void PrintTrace_VMCS_EXEC_PTR_HIGH();
183 void Set_TSC_OFFSET(uint_t val);
184 uint_t Get_TSC_OFFSET();
186 void PrintTrace_TSC_OFFSET();
189 void Set_TSC_OFFSET_HIGH(uint_t val);
190 uint_t Get_TSC_OFFSET_HIGH();
192 void PrintTrace_TSC_OFFSET_HIGH();
195 void Set_VIRT_APIC_PAGE_ADDR(uint_t val);
196 uint_t Get_VIRT_APIC_PAGE_ADDR();
198 void PrintTrace_VIRT_APIC_PAGE_ADDR();
201 void Set_VIRT_APIC_PAGE_ADDR_HIGH(uint_t val);
202 uint_t Get_VIRT_APIC_PAGE_ADDR_HIGH();
204 void PrintTrace_VIRT_APIC_PAGE_ADDR_HIGH();
207 void Set_VMCS_LINK_PTR(uint_t val);
208 uint_t Get_VMCS_LINK_PTR();
210 void PrintTrace_VMCS_LINK_PTR();
213 void Set_VMCS_LINK_PTR_HIGH(uint_t val);
214 uint_t Get_VMCS_LINK_PTR_HIGH();
216 void PrintTrace_VMCS_LINK_PTR_HIGH();
219 void Set_GUEST_IA32_DEBUGCTL(uint_t val);
220 uint_t Get_GUEST_IA32_DEBUGCTL();
222 void PrintTrace_GUEST_IA32_DEBUGCTL();
225 void Set_GUEST_IA32_DEBUGCTL_HIGH(uint_t val);
226 uint_t Get_GUEST_IA32_DEBUGCTL_HIGH();
228 void PrintTrace_GUEST_IA32_DEBUGCTL_HIGH();
231 void Set_PIN_VM_EXEC_CTRLS(uint_t val);
232 uint_t Get_PIN_VM_EXEC_CTRLS();
234 void PrintTrace_PIN_VM_EXEC_CTRLS();
237 void Set_PROC_VM_EXEC_CTRLS(uint_t val);
238 uint_t Get_PROC_VM_EXEC_CTRLS();
240 void PrintTrace_PROC_VM_EXEC_CTRLS();
243 void Set_EXCEPTION_BITMAP(uint_t val);
244 uint_t Get_EXCEPTION_BITMAP();
246 void PrintTrace_EXCEPTION_BITMAP();
249 void Set_PAGE_FAULT_ERROR_MASK(uint_t val);
250 uint_t Get_PAGE_FAULT_ERROR_MASK();
252 void PrintTrace_PAGE_FAULT_ERROR_MASK();
255 void Set_PAGE_FAULT_ERROR_MATCH(uint_t val);
256 uint_t Get_PAGE_FAULT_ERROR_MATCH();
258 void PrintTrace_PAGE_FAULT_ERROR_MATCH();
261 void Set_CR3_TARGET_COUNT(uint_t val);
262 uint_t Get_CR3_TARGET_COUNT();
264 void PrintTrace_CR3_TARGET_COUNT();
267 void Set_VM_EXIT_CTRLS(uint_t val);
268 uint_t Get_VM_EXIT_CTRLS();
270 void PrintTrace_VM_EXIT_CTRLS();
273 void Set_VM_EXIT_MSR_STORE_COUNT(uint_t val);
274 uint_t Get_VM_EXIT_MSR_STORE_COUNT();
276 void PrintTrace_VM_EXIT_MSR_STORE_COUNT();
279 void Set_VM_EXIT_MSR_LOAD_COUNT(uint_t val);
280 uint_t Get_VM_EXIT_MSR_LOAD_COUNT();
282 void PrintTrace_VM_EXIT_MSR_LOAD_COUNT();
285 void Set_VM_ENTRY_CTRLS(uint_t val);
286 uint_t Get_VM_ENTRY_CTRLS();
288 void PrintTrace_VM_ENTRY_CTRLS();
291 void Set_VM_ENTRY_MSR_LOAD_COUNT(uint_t val);
292 uint_t Get_VM_ENTRY_MSR_LOAD_COUNT();
294 void PrintTrace_VM_ENTRY_MSR_LOAD_COUNT();
297 void Set_VM_ENTRY_INT_INFO_FIELD(uint_t val);
298 uint_t Get_VM_ENTRY_INT_INFO_FIELD();
300 void PrintTrace_VM_ENTRY_INT_INFO_FIELD();
303 void Set_VM_ENTRY_EXCEPTION_ERROR(uint_t val);
304 uint_t Get_VM_ENTRY_EXCEPTION_ERROR();
306 void PrintTrace_VM_ENTRY_EXCEPTION_ERROR();
309 void Set_VM_ENTRY_INSTR_LENGTH(uint_t val);
310 uint_t Get_VM_ENTRY_INSTR_LENGTH();
312 void PrintTrace_VM_ENTRY_INSTR_LENGTH();
315 void Set_TPR_THRESHOLD(uint_t val);
316 uint_t Get_TPR_THRESHOLD();
318 void PrintTrace_TPR_THRESHOLD();
321 void Set_VM_INSTR_ERROR(uint_t val);
322 uint_t Get_VM_INSTR_ERROR();
324 void PrintTrace_VM_INSTR_ERROR();
327 void Set_EXIT_REASON(uint_t val);
328 uint_t Get_EXIT_REASON();
330 void PrintTrace_EXIT_REASON();
333 void Set_VM_EXIT_INT_INFO(uint_t val);
334 uint_t Get_VM_EXIT_INT_INFO();
336 void PrintTrace_VM_EXIT_INT_INFO();
339 void Set_VM_EXIT_INT_ERROR(uint_t val);
340 uint_t Get_VM_EXIT_INT_ERROR();
342 void PrintTrace_VM_EXIT_INT_ERROR();
345 void Set_IDT_VECTOR_INFO(uint_t val);
346 uint_t Get_IDT_VECTOR_INFO();
348 void PrintTrace_IDT_VECTOR_INFO();
351 void Set_IDT_VECTOR_ERROR(uint_t val);
352 uint_t Get_IDT_VECTOR_ERROR();
354 void PrintTrace_IDT_VECTOR_ERROR();
357 void Set_VM_EXIT_INSTR_LENGTH(uint_t val);
358 uint_t Get_VM_EXIT_INSTR_LENGTH();
360 void PrintTrace_VM_EXIT_INSTR_LENGTH();
363 void Set_VMX_INSTR_INFO(uint_t val);
364 uint_t Get_VMX_INSTR_INFO();
366 void PrintTrace_VMX_INSTR_INFO();
369 void Set_GUEST_ES_LIMIT(uint_t val);
370 uint_t Get_GUEST_ES_LIMIT();
372 void PrintTrace_GUEST_ES_LIMIT();
375 void Set_GUEST_CS_LIMIT(uint_t val);
376 uint_t Get_GUEST_CS_LIMIT();
378 void PrintTrace_GUEST_CS_LIMIT();
381 void Set_GUEST_SS_LIMIT(uint_t val);
382 uint_t Get_GUEST_SS_LIMIT();
384 void PrintTrace_GUEST_SS_LIMIT();
387 void Set_GUEST_DS_LIMIT(uint_t val);
388 uint_t Get_GUEST_DS_LIMIT();
390 void PrintTrace_GUEST_DS_LIMIT();
393 void Set_GUEST_FS_LIMIT(uint_t val);
394 uint_t Get_GUEST_FS_LIMIT();
396 void PrintTrace_GUEST_FS_LIMIT();
399 void Set_GUEST_GS_LIMIT(uint_t val);
400 uint_t Get_GUEST_GS_LIMIT();
402 void PrintTrace_GUEST_GS_LIMIT();
405 void Set_GUEST_LDTR_LIMIT(uint_t val);
406 uint_t Get_GUEST_LDTR_LIMIT();
408 void PrintTrace_GUEST_LDTR_LIMIT();
411 void Set_GUEST_TR_LIMIT(uint_t val);
412 uint_t Get_GUEST_TR_LIMIT();
414 void PrintTrace_GUEST_TR_LIMIT();
417 void Set_GUEST_GDTR_LIMIT(uint_t val);
418 uint_t Get_GUEST_GDTR_LIMIT();
420 void PrintTrace_GUEST_GDTR_LIMIT();
423 void Set_GUEST_IDTR_LIMIT(uint_t val);
424 uint_t Get_GUEST_IDTR_LIMIT();
426 void PrintTrace_GUEST_IDTR_LIMIT();
429 void Set_GUEST_ES_ACCESS(uint_t val);
430 uint_t Get_GUEST_ES_ACCESS();
432 void PrintTrace_GUEST_ES_ACCESS();
435 void Set_GUEST_CS_ACCESS(uint_t val);
436 uint_t Get_GUEST_CS_ACCESS();
438 void PrintTrace_GUEST_CS_ACCESS();
441 void Set_GUEST_SS_ACCESS(uint_t val);
442 uint_t Get_GUEST_SS_ACCESS();
444 void PrintTrace_GUEST_SS_ACCESS();
447 void Set_GUEST_DS_ACCESS(uint_t val);
448 uint_t Get_GUEST_DS_ACCESS();
450 void PrintTrace_GUEST_DS_ACCESS();
453 void Set_GUEST_FS_ACCESS(uint_t val);
454 uint_t Get_GUEST_FS_ACCESS();
456 void PrintTrace_GUEST_FS_ACCESS();
459 void Set_GUEST_GS_ACCESS(uint_t val);
460 uint_t Get_GUEST_GS_ACCESS();
462 void PrintTrace_GUEST_GS_ACCESS();
465 void Set_GUEST_LDTR_ACCESS(uint_t val);
466 uint_t Get_GUEST_LDTR_ACCESS();
468 void PrintTrace_GUEST_LDTR_ACCESS();
471 void Set_GUEST_TR_ACCESS(uint_t val);
472 uint_t Get_GUEST_TR_ACCESS();
474 void PrintTrace_GUEST_TR_ACCESS();
477 void Set_GUEST_INT_STATE(uint_t val);
478 uint_t Get_GUEST_INT_STATE();
480 void PrintTrace_GUEST_INT_STATE();
483 void Set_GUEST_ACTIVITY_STATE(uint_t val);
484 uint_t Get_GUEST_ACTIVITY_STATE();
486 void PrintTrace_GUEST_ACTIVITY_STATE();
489 void Set_GUEST_SMBASE(uint_t val);
490 uint_t Get_GUEST_SMBASE();
492 void PrintTrace_GUEST_SMBASE();
495 void Set_GUEST_IA32_SYSENTER_CS(uint_t val);
496 uint_t Get_GUEST_IA32_SYSENTER_CS();
498 void PrintTrace_GUEST_IA32_SYSENTER_CS();
501 void Set_HOST_IA32_SYSENTER_CS(uint_t val);
502 uint_t Get_HOST_IA32_SYSENTER_CS();
504 void PrintTrace_HOST_IA32_SYSENTER_CS();
507 void Set_CR0_GUEST_HOST_MASK(uint_t val);
508 uint_t Get_CR0_GUEST_HOST_MASK();
510 void PrintTrace_CR0_GUEST_HOST_MASK();
513 void Set_CR4_GUEST_HOST_MASK(uint_t val);
514 uint_t Get_CR4_GUEST_HOST_MASK();
516 void PrintTrace_CR4_GUEST_HOST_MASK();
519 void Set_CR0_READ_SHADOW(uint_t val);
520 uint_t Get_CR0_READ_SHADOW();
522 void PrintTrace_CR0_READ_SHADOW();
525 void Set_CR4_READ_SHADOW(uint_t val);
526 uint_t Get_CR4_READ_SHADOW();
528 void PrintTrace_CR4_READ_SHADOW();
531 void Set_CR3_TARGET_VALUE_0(uint_t val);
532 uint_t Get_CR3_TARGET_VALUE_0();
534 void PrintTrace_CR3_TARGET_VALUE_0();
537 void Set_CR3_TARGET_VALUE_1(uint_t val);
538 uint_t Get_CR3_TARGET_VALUE_1();
540 void PrintTrace_CR3_TARGET_VALUE_1();
543 void Set_CR3_TARGET_VALUE_2(uint_t val);
544 uint_t Get_CR3_TARGET_VALUE_2();
546 void PrintTrace_CR3_TARGET_VALUE_2();
549 void Set_CR3_TARGET_VALUE_3(uint_t val);
550 uint_t Get_CR3_TARGET_VALUE_3();
552 void PrintTrace_CR3_TARGET_VALUE_3();
555 void Set_EXIT_QUALIFICATION(uint_t val);
556 uint_t Get_EXIT_QUALIFICATION();
558 void PrintTrace_EXIT_QUALIFICATION();
561 void Set_IO_RCX(uint_t val);
564 void PrintTrace_IO_RCX();
567 void Set_IO_RSI(uint_t val);
570 void PrintTrace_IO_RSI();
573 void Set_IO_RDI(uint_t val);
576 void PrintTrace_IO_RDI();
579 void Set_IO_RIP(uint_t val);
582 void PrintTrace_IO_RIP();
585 void Set_GUEST_LINEAR_ADDR(uint_t val);
586 uint_t Get_GUEST_LINEAR_ADDR();
588 void PrintTrace_GUEST_LINEAR_ADDR();
591 void Set_GUEST_CR0(uint_t val);
592 uint_t Get_GUEST_CR0();
594 void PrintTrace_GUEST_CR0();
597 void Set_GUEST_CR3(uint_t val);
598 uint_t Get_GUEST_CR3();
600 void PrintTrace_GUEST_CR3();
603 void Set_GUEST_CR4(uint_t val);
604 uint_t Get_GUEST_CR4();
606 void PrintTrace_GUEST_CR4();
609 void Set_GUEST_ES_BASE(uint_t val);
610 uint_t Get_GUEST_ES_BASE();
612 void PrintTrace_GUEST_ES_BASE();
615 void Set_GUEST_CS_BASE(uint_t val);
616 uint_t Get_GUEST_CS_BASE();
618 void PrintTrace_GUEST_CS_BASE();
621 void Set_GUEST_SS_BASE(uint_t val);
622 uint_t Get_GUEST_SS_BASE();
624 void PrintTrace_GUEST_SS_BASE();
627 void Set_GUEST_DS_BASE(uint_t val);
628 uint_t Get_GUEST_DS_BASE();
630 void PrintTrace_GUEST_DS_BASE();
633 void Set_GUEST_FS_BASE(uint_t val);
634 uint_t Get_GUEST_FS_BASE();
636 void PrintTrace_GUEST_FS_BASE();
639 void Set_GUEST_GS_BASE(uint_t val);
640 uint_t Get_GUEST_GS_BASE();
642 void PrintTrace_GUEST_GS_BASE();
645 void Set_GUEST_LDTR_BASE(uint_t val);
646 uint_t Get_GUEST_LDTR_BASE();
648 void PrintTrace_GUEST_LDTR_BASE();
651 void Set_GUEST_TR_BASE(uint_t val);
652 uint_t Get_GUEST_TR_BASE();
654 void PrintTrace_GUEST_TR_BASE();
657 void Set_GUEST_GDTR_BASE(uint_t val);
658 uint_t Get_GUEST_GDTR_BASE();
660 void PrintTrace_GUEST_GDTR_BASE();
663 void Set_GUEST_IDTR_BASE(uint_t val);
664 uint_t Get_GUEST_IDTR_BASE();
666 void PrintTrace_GUEST_IDTR_BASE();
669 void Set_GUEST_DR7(uint_t val);
670 uint_t Get_GUEST_DR7();
672 void PrintTrace_GUEST_DR7();
675 void Set_GUEST_RSP(uint_t val);
676 uint_t Get_GUEST_RSP();
678 void PrintTrace_GUEST_RSP();
681 void Set_GUEST_RIP(uint_t val);
682 uint_t Get_GUEST_RIP();
684 void PrintTrace_GUEST_RIP();
687 void Set_GUEST_RFLAGS(uint_t val);
688 uint_t Get_GUEST_RFLAGS();
690 void PrintTrace_GUEST_RFLAGS();
693 void Set_GUEST_PENDING_DEBUG_EXCS(uint_t val);
694 uint_t Get_GUEST_PENDING_DEBUG_EXCS();
696 void PrintTrace_GUEST_PENDING_DEBUG_EXCS();
699 void Set_GUEST_IA32_SYSENTER_ESP(uint_t val);
700 uint_t Get_GUEST_IA32_SYSENTER_ESP();
702 void PrintTrace_GUEST_IA32_SYSENTER_ESP();
705 void Set_GUEST_IA32_SYSENTER_EIP(uint_t val);
706 uint_t Get_GUEST_IA32_SYSENTER_EIP();
708 void PrintTrace_GUEST_IA32_SYSENTER_EIP();
711 void Set_HOST_CR0(uint_t val);
712 uint_t Get_HOST_CR0();
714 void PrintTrace_HOST_CR0();
717 void Set_HOST_CR3(uint_t val);
718 uint_t Get_HOST_CR3();
720 void PrintTrace_HOST_CR3();
723 void Set_HOST_CR4(uint_t val);
724 uint_t Get_HOST_CR4();
726 void PrintTrace_HOST_CR4();
729 void Set_HOST_FS_BASE(uint_t val);
730 uint_t Get_HOST_FS_BASE();
732 void PrintTrace_HOST_FS_BASE();
735 void Set_HOST_GS_BASE(uint_t val);
736 uint_t Get_HOST_GS_BASE();
738 void PrintTrace_HOST_GS_BASE();
741 void Set_HOST_TR_BASE(uint_t val);
742 uint_t Get_HOST_TR_BASE();
744 void PrintTrace_HOST_TR_BASE();
747 void Set_HOST_GDTR_BASE(uint_t val);
748 uint_t Get_HOST_GDTR_BASE();
750 void PrintTrace_HOST_GDTR_BASE();
753 void Set_HOST_IDTR_BASE(uint_t val);
754 uint_t Get_HOST_IDTR_BASE();
756 void PrintTrace_HOST_IDTR_BASE();
759 void Set_HOST_IA32_SYSENTER_ESP(uint_t val);
760 uint_t Get_HOST_IA32_SYSENTER_ESP();
762 void PrintTrace_HOST_IA32_SYSENTER_ESP();
765 void Set_HOST_IA32_SYSENTER_EIP(uint_t val);
766 uint_t Get_HOST_IA32_SYSENTER_EIP();
768 void PrintTrace_HOST_IA32_SYSENTER_EIP();
771 void Set_HOST_RSP(uint_t val);
772 uint_t Get_HOST_RSP();
774 void PrintTrace_HOST_RSP();
777 void Set_HOST_RIP(uint_t val);
778 uint_t Get_HOST_RIP();
780 void PrintTrace_HOST_RIP();
782 void PrintTrace_VMCS_ALL();