1 /* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
8 #include <palacios/vmcs.h>
9 #include <palacios/vmm.h>
11 void Set_VMCS_GUEST_ES_SELECTOR(uint_t val);
12 uint_t Get_VMCS_GUEST_ES_SELECTOR();
14 void PrintTrace_VMCS_GUEST_ES_SELECTOR();
17 void Set_VMCS_GUEST_CS_SELECTOR(uint_t val);
18 uint_t Get_VMCS_GUEST_CS_SELECTOR();
20 void PrintTrace_VMCS_GUEST_CS_SELECTOR();
23 void Set_VMCS_GUEST_SS_SELECTOR(uint_t val);
24 uint_t Get_VMCS_GUEST_SS_SELECTOR();
26 void PrintTrace_VMCS_GUEST_SS_SELECTOR();
29 void Set_VMCS_GUEST_DS_SELECTOR(uint_t val);
30 uint_t Get_VMCS_GUEST_DS_SELECTOR();
32 void PrintTrace_VMCS_GUEST_DS_SELECTOR();
35 void Set_VMCS_GUEST_FS_SELECTOR(uint_t val);
36 uint_t Get_VMCS_GUEST_FS_SELECTOR();
38 void PrintTrace_VMCS_GUEST_FS_SELECTOR();
41 void Set_VMCS_GUEST_GS_SELECTOR(uint_t val);
42 uint_t Get_VMCS_GUEST_GS_SELECTOR();
44 void PrintTrace_VMCS_GUEST_GS_SELECTOR();
47 void Set_VMCS_GUEST_LDTR_SELECTOR(uint_t val);
48 uint_t Get_VMCS_GUEST_LDTR_SELECTOR();
50 void PrintTrace_VMCS_GUEST_LDTR_SELECTOR();
53 void Set_VMCS_GUEST_TR_SELECTOR(uint_t val);
54 uint_t Get_VMCS_GUEST_TR_SELECTOR();
56 void PrintTrace_VMCS_GUEST_TR_SELECTOR();
59 void Set_VMCS_HOST_ES_SELECTOR(uint_t val);
60 uint_t Get_VMCS_HOST_ES_SELECTOR();
62 void PrintTrace_VMCS_HOST_ES_SELECTOR();
65 void Set_VMCS_HOST_CS_SELECTOR(uint_t val);
66 uint_t Get_VMCS_HOST_CS_SELECTOR();
68 void PrintTrace_VMCS_HOST_CS_SELECTOR();
71 void Set_VMCS_HOST_SS_SELECTOR(uint_t val);
72 uint_t Get_VMCS_HOST_SS_SELECTOR();
74 void PrintTrace_VMCS_HOST_SS_SELECTOR();
77 void Set_VMCS_HOST_DS_SELECTOR(uint_t val);
78 uint_t Get_VMCS_HOST_DS_SELECTOR();
80 void PrintTrace_VMCS_HOST_DS_SELECTOR();
83 void Set_VMCS_HOST_FS_SELECTOR(uint_t val);
84 uint_t Get_VMCS_HOST_FS_SELECTOR();
86 void PrintTrace_VMCS_HOST_FS_SELECTOR();
89 void Set_VMCS_HOST_GS_SELECTOR(uint_t val);
90 uint_t Get_VMCS_HOST_GS_SELECTOR();
92 void PrintTrace_VMCS_HOST_GS_SELECTOR();
95 void Set_VMCS_HOST_TR_SELECTOR(uint_t val);
96 uint_t Get_VMCS_HOST_TR_SELECTOR();
98 void PrintTrace_VMCS_HOST_TR_SELECTOR();
101 void Set_IO_BITMAP_A_ADDR(uint_t val);
102 uint_t Get_IO_BITMAP_A_ADDR();
104 void PrintTrace_IO_BITMAP_A_ADDR();
107 void Set_IO_BITMAP_A_ADDR_HIGH(uint_t val);
108 uint_t Get_IO_BITMAP_A_ADDR_HIGH();
110 void PrintTrace_IO_BITMAP_A_ADDR_HIGH();
113 void Set_IO_BITMAP_B_ADDR(uint_t val);
114 uint_t Get_IO_BITMAP_B_ADDR();
116 void PrintTrace_IO_BITMAP_B_ADDR();
119 void Set_IO_BITMAP_B_ADDR_HIGH(uint_t val);
120 uint_t Get_IO_BITMAP_B_ADDR_HIGH();
122 void PrintTrace_IO_BITMAP_B_ADDR_HIGH();
125 void Set_MSR_BITMAPS(uint_t val);
126 uint_t Get_MSR_BITMAPS();
128 void PrintTrace_MSR_BITMAPS();
131 void Set_MSR_BITMAPS_HIGH(uint_t val);
132 uint_t Get_MSR_BITMAPS_HIGH();
134 void PrintTrace_MSR_BITMAPS_HIGH();
137 void Set_VM_EXIT_MSR_STORE_ADDR(uint_t val);
138 uint_t Get_VM_EXIT_MSR_STORE_ADDR();
140 void PrintTrace_VM_EXIT_MSR_STORE_ADDR();
143 void Set_VM_EXIT_MSR_STORE_ADDR_HIGH(uint_t val);
144 uint_t Get_VM_EXIT_MSR_STORE_ADDR_HIGH();
146 void PrintTrace_VM_EXIT_MSR_STORE_ADDR_HIGH();
149 void Set_VM_EXIT_MSR_LOAD_ADDR(uint_t val);
150 uint_t Get_VM_EXIT_MSR_LOAD_ADDR();
152 void PrintTrace_VM_EXIT_MSR_LOAD_ADDR();
155 void Set_VM_EXIT_MSR_LOAD_ADDR_HIGH(uint_t val);
156 uint_t Get_VM_EXIT_MSR_LOAD_ADDR_HIGH();
158 void PrintTrace_VM_EXIT_MSR_LOAD_ADDR_HIGH();
161 void Set_VM_ENTRY_MSR_LOAD_ADDR(uint_t val);
162 uint_t Get_VM_ENTRY_MSR_LOAD_ADDR();
164 void PrintTrace_VM_ENTRY_MSR_LOAD_ADDR();
167 void Set_VM_ENTRY_MSR_LOAD_ADDR_HIGH(uint_t val);
168 uint_t Get_VM_ENTRY_MSR_LOAD_ADDR_HIGH();
170 void PrintTrace_VM_ENTRY_MSR_LOAD_ADDR_HIGH();
173 void Set_VMCS_EXEC_PTR(uint_t val);
174 uint_t Get_VMCS_EXEC_PTR();
176 void PrintTrace_VMCS_EXEC_PTR();
179 void Set_VMCS_EXEC_PTR_HIGH(uint_t val);
180 uint_t Get_VMCS_EXEC_PTR_HIGH();
182 void PrintTrace_VMCS_EXEC_PTR_HIGH();
185 void Set_TSC_OFFSET(uint_t val);
186 uint_t Get_TSC_OFFSET();
188 void PrintTrace_TSC_OFFSET();
191 void Set_TSC_OFFSET_HIGH(uint_t val);
192 uint_t Get_TSC_OFFSET_HIGH();
194 void PrintTrace_TSC_OFFSET_HIGH();
197 void Set_VIRT_APIC_PAGE_ADDR(uint_t val);
198 uint_t Get_VIRT_APIC_PAGE_ADDR();
200 void PrintTrace_VIRT_APIC_PAGE_ADDR();
203 void Set_VIRT_APIC_PAGE_ADDR_HIGH(uint_t val);
204 uint_t Get_VIRT_APIC_PAGE_ADDR_HIGH();
206 void PrintTrace_VIRT_APIC_PAGE_ADDR_HIGH();
209 void Set_VMCS_LINK_PTR(uint_t val);
210 uint_t Get_VMCS_LINK_PTR();
212 void PrintTrace_VMCS_LINK_PTR();
215 void Set_VMCS_LINK_PTR_HIGH(uint_t val);
216 uint_t Get_VMCS_LINK_PTR_HIGH();
218 void PrintTrace_VMCS_LINK_PTR_HIGH();
221 void Set_GUEST_IA32_DEBUGCTL(uint_t val);
222 uint_t Get_GUEST_IA32_DEBUGCTL();
224 void PrintTrace_GUEST_IA32_DEBUGCTL();
227 void Set_GUEST_IA32_DEBUGCTL_HIGH(uint_t val);
228 uint_t Get_GUEST_IA32_DEBUGCTL_HIGH();
230 void PrintTrace_GUEST_IA32_DEBUGCTL_HIGH();
233 void Set_PIN_VM_EXEC_CTRLS(uint_t val);
234 uint_t Get_PIN_VM_EXEC_CTRLS();
236 void PrintTrace_PIN_VM_EXEC_CTRLS();
239 void Set_PROC_VM_EXEC_CTRLS(uint_t val);
240 uint_t Get_PROC_VM_EXEC_CTRLS();
242 void PrintTrace_PROC_VM_EXEC_CTRLS();
245 void Set_EXCEPTION_BITMAP(uint_t val);
246 uint_t Get_EXCEPTION_BITMAP();
248 void PrintTrace_EXCEPTION_BITMAP();
251 void Set_PAGE_FAULT_ERROR_MASK(uint_t val);
252 uint_t Get_PAGE_FAULT_ERROR_MASK();
254 void PrintTrace_PAGE_FAULT_ERROR_MASK();
257 void Set_PAGE_FAULT_ERROR_MATCH(uint_t val);
258 uint_t Get_PAGE_FAULT_ERROR_MATCH();
260 void PrintTrace_PAGE_FAULT_ERROR_MATCH();
263 void Set_CR3_TARGET_COUNT(uint_t val);
264 uint_t Get_CR3_TARGET_COUNT();
266 void PrintTrace_CR3_TARGET_COUNT();
269 void Set_VM_EXIT_CTRLS(uint_t val);
270 uint_t Get_VM_EXIT_CTRLS();
272 void PrintTrace_VM_EXIT_CTRLS();
275 void Set_VM_EXIT_MSR_STORE_COUNT(uint_t val);
276 uint_t Get_VM_EXIT_MSR_STORE_COUNT();
278 void PrintTrace_VM_EXIT_MSR_STORE_COUNT();
281 void Set_VM_EXIT_MSR_LOAD_COUNT(uint_t val);
282 uint_t Get_VM_EXIT_MSR_LOAD_COUNT();
284 void PrintTrace_VM_EXIT_MSR_LOAD_COUNT();
287 void Set_VM_ENTRY_CTRLS(uint_t val);
288 uint_t Get_VM_ENTRY_CTRLS();
290 void PrintTrace_VM_ENTRY_CTRLS();
293 void Set_VM_ENTRY_MSR_LOAD_COUNT(uint_t val);
294 uint_t Get_VM_ENTRY_MSR_LOAD_COUNT();
296 void PrintTrace_VM_ENTRY_MSR_LOAD_COUNT();
299 void Set_VM_ENTRY_INT_INFO_FIELD(uint_t val);
300 uint_t Get_VM_ENTRY_INT_INFO_FIELD();
302 void PrintTrace_VM_ENTRY_INT_INFO_FIELD();
305 void Set_VM_ENTRY_EXCEPTION_ERROR(uint_t val);
306 uint_t Get_VM_ENTRY_EXCEPTION_ERROR();
308 void PrintTrace_VM_ENTRY_EXCEPTION_ERROR();
311 void Set_VM_ENTRY_INSTR_LENGTH(uint_t val);
312 uint_t Get_VM_ENTRY_INSTR_LENGTH();
314 void PrintTrace_VM_ENTRY_INSTR_LENGTH();
317 void Set_TPR_THRESHOLD(uint_t val);
318 uint_t Get_TPR_THRESHOLD();
320 void PrintTrace_TPR_THRESHOLD();
323 void Set_VM_INSTR_ERROR(uint_t val);
324 uint_t Get_VM_INSTR_ERROR();
326 void PrintTrace_VM_INSTR_ERROR();
329 void Set_EXIT_REASON(uint_t val);
330 uint_t Get_EXIT_REASON();
332 void PrintTrace_EXIT_REASON();
335 void Set_VM_EXIT_INT_INFO(uint_t val);
336 uint_t Get_VM_EXIT_INT_INFO();
338 void PrintTrace_VM_EXIT_INT_INFO();
341 void Set_VM_EXIT_INT_ERROR(uint_t val);
342 uint_t Get_VM_EXIT_INT_ERROR();
344 void PrintTrace_VM_EXIT_INT_ERROR();
347 void Set_IDT_VECTOR_INFO(uint_t val);
348 uint_t Get_IDT_VECTOR_INFO();
350 void PrintTrace_IDT_VECTOR_INFO();
353 void Set_IDT_VECTOR_ERROR(uint_t val);
354 uint_t Get_IDT_VECTOR_ERROR();
356 void PrintTrace_IDT_VECTOR_ERROR();
359 void Set_VM_EXIT_INSTR_LENGTH(uint_t val);
360 uint_t Get_VM_EXIT_INSTR_LENGTH();
362 void PrintTrace_VM_EXIT_INSTR_LENGTH();
365 void Set_VMX_INSTR_INFO(uint_t val);
366 uint_t Get_VMX_INSTR_INFO();
368 void PrintTrace_VMX_INSTR_INFO();
371 void Set_GUEST_ES_LIMIT(uint_t val);
372 uint_t Get_GUEST_ES_LIMIT();
374 void PrintTrace_GUEST_ES_LIMIT();
377 void Set_GUEST_CS_LIMIT(uint_t val);
378 uint_t Get_GUEST_CS_LIMIT();
380 void PrintTrace_GUEST_CS_LIMIT();
383 void Set_GUEST_SS_LIMIT(uint_t val);
384 uint_t Get_GUEST_SS_LIMIT();
386 void PrintTrace_GUEST_SS_LIMIT();
389 void Set_GUEST_DS_LIMIT(uint_t val);
390 uint_t Get_GUEST_DS_LIMIT();
392 void PrintTrace_GUEST_DS_LIMIT();
395 void Set_GUEST_FS_LIMIT(uint_t val);
396 uint_t Get_GUEST_FS_LIMIT();
398 void PrintTrace_GUEST_FS_LIMIT();
401 void Set_GUEST_GS_LIMIT(uint_t val);
402 uint_t Get_GUEST_GS_LIMIT();
404 void PrintTrace_GUEST_GS_LIMIT();
407 void Set_GUEST_LDTR_LIMIT(uint_t val);
408 uint_t Get_GUEST_LDTR_LIMIT();
410 void PrintTrace_GUEST_LDTR_LIMIT();
413 void Set_GUEST_TR_LIMIT(uint_t val);
414 uint_t Get_GUEST_TR_LIMIT();
416 void PrintTrace_GUEST_TR_LIMIT();
419 void Set_GUEST_GDTR_LIMIT(uint_t val);
420 uint_t Get_GUEST_GDTR_LIMIT();
422 void PrintTrace_GUEST_GDTR_LIMIT();
425 void Set_GUEST_IDTR_LIMIT(uint_t val);
426 uint_t Get_GUEST_IDTR_LIMIT();
428 void PrintTrace_GUEST_IDTR_LIMIT();
431 void Set_GUEST_ES_ACCESS(uint_t val);
432 uint_t Get_GUEST_ES_ACCESS();
434 void PrintTrace_GUEST_ES_ACCESS();
437 void Set_GUEST_CS_ACCESS(uint_t val);
438 uint_t Get_GUEST_CS_ACCESS();
440 void PrintTrace_GUEST_CS_ACCESS();
443 void Set_GUEST_SS_ACCESS(uint_t val);
444 uint_t Get_GUEST_SS_ACCESS();
446 void PrintTrace_GUEST_SS_ACCESS();
449 void Set_GUEST_DS_ACCESS(uint_t val);
450 uint_t Get_GUEST_DS_ACCESS();
452 void PrintTrace_GUEST_DS_ACCESS();
455 void Set_GUEST_FS_ACCESS(uint_t val);
456 uint_t Get_GUEST_FS_ACCESS();
458 void PrintTrace_GUEST_FS_ACCESS();
461 void Set_GUEST_GS_ACCESS(uint_t val);
462 uint_t Get_GUEST_GS_ACCESS();
464 void PrintTrace_GUEST_GS_ACCESS();
467 void Set_GUEST_LDTR_ACCESS(uint_t val);
468 uint_t Get_GUEST_LDTR_ACCESS();
470 void PrintTrace_GUEST_LDTR_ACCESS();
473 void Set_GUEST_TR_ACCESS(uint_t val);
474 uint_t Get_GUEST_TR_ACCESS();
476 void PrintTrace_GUEST_TR_ACCESS();
479 void Set_GUEST_INT_STATE(uint_t val);
480 uint_t Get_GUEST_INT_STATE();
482 void PrintTrace_GUEST_INT_STATE();
485 void Set_GUEST_ACTIVITY_STATE(uint_t val);
486 uint_t Get_GUEST_ACTIVITY_STATE();
488 void PrintTrace_GUEST_ACTIVITY_STATE();
491 void Set_GUEST_SMBASE(uint_t val);
492 uint_t Get_GUEST_SMBASE();
494 void PrintTrace_GUEST_SMBASE();
497 void Set_GUEST_IA32_SYSENTER_CS(uint_t val);
498 uint_t Get_GUEST_IA32_SYSENTER_CS();
500 void PrintTrace_GUEST_IA32_SYSENTER_CS();
503 void Set_HOST_IA32_SYSENTER_CS(uint_t val);
504 uint_t Get_HOST_IA32_SYSENTER_CS();
506 void PrintTrace_HOST_IA32_SYSENTER_CS();
509 void Set_CR0_GUEST_HOST_MASK(uint_t val);
510 uint_t Get_CR0_GUEST_HOST_MASK();
512 void PrintTrace_CR0_GUEST_HOST_MASK();
515 void Set_CR4_GUEST_HOST_MASK(uint_t val);
516 uint_t Get_CR4_GUEST_HOST_MASK();
518 void PrintTrace_CR4_GUEST_HOST_MASK();
521 void Set_CR0_READ_SHADOW(uint_t val);
522 uint_t Get_CR0_READ_SHADOW();
524 void PrintTrace_CR0_READ_SHADOW();
527 void Set_CR4_READ_SHADOW(uint_t val);
528 uint_t Get_CR4_READ_SHADOW();
530 void PrintTrace_CR4_READ_SHADOW();
533 void Set_CR3_TARGET_VALUE_0(uint_t val);
534 uint_t Get_CR3_TARGET_VALUE_0();
536 void PrintTrace_CR3_TARGET_VALUE_0();
539 void Set_CR3_TARGET_VALUE_1(uint_t val);
540 uint_t Get_CR3_TARGET_VALUE_1();
542 void PrintTrace_CR3_TARGET_VALUE_1();
545 void Set_CR3_TARGET_VALUE_2(uint_t val);
546 uint_t Get_CR3_TARGET_VALUE_2();
548 void PrintTrace_CR3_TARGET_VALUE_2();
551 void Set_CR3_TARGET_VALUE_3(uint_t val);
552 uint_t Get_CR3_TARGET_VALUE_3();
554 void PrintTrace_CR3_TARGET_VALUE_3();
557 void Set_EXIT_QUALIFICATION(uint_t val);
558 uint_t Get_EXIT_QUALIFICATION();
560 void PrintTrace_EXIT_QUALIFICATION();
563 void Set_IO_RCX(uint_t val);
566 void PrintTrace_IO_RCX();
569 void Set_IO_RSI(uint_t val);
572 void PrintTrace_IO_RSI();
575 void Set_IO_RDI(uint_t val);
578 void PrintTrace_IO_RDI();
581 void Set_IO_RIP(uint_t val);
584 void PrintTrace_IO_RIP();
587 void Set_GUEST_LINEAR_ADDR(uint_t val);
588 uint_t Get_GUEST_LINEAR_ADDR();
590 void PrintTrace_GUEST_LINEAR_ADDR();
593 void Set_GUEST_CR0(uint_t val);
594 uint_t Get_GUEST_CR0();
596 void PrintTrace_GUEST_CR0();
599 void Set_GUEST_CR3(uint_t val);
600 uint_t Get_GUEST_CR3();
602 void PrintTrace_GUEST_CR3();
605 void Set_GUEST_CR4(uint_t val);
606 uint_t Get_GUEST_CR4();
608 void PrintTrace_GUEST_CR4();
611 void Set_GUEST_ES_BASE(uint_t val);
612 uint_t Get_GUEST_ES_BASE();
614 void PrintTrace_GUEST_ES_BASE();
617 void Set_GUEST_CS_BASE(uint_t val);
618 uint_t Get_GUEST_CS_BASE();
620 void PrintTrace_GUEST_CS_BASE();
623 void Set_GUEST_SS_BASE(uint_t val);
624 uint_t Get_GUEST_SS_BASE();
626 void PrintTrace_GUEST_SS_BASE();
629 void Set_GUEST_DS_BASE(uint_t val);
630 uint_t Get_GUEST_DS_BASE();
632 void PrintTrace_GUEST_DS_BASE();
635 void Set_GUEST_FS_BASE(uint_t val);
636 uint_t Get_GUEST_FS_BASE();
638 void PrintTrace_GUEST_FS_BASE();
641 void Set_GUEST_GS_BASE(uint_t val);
642 uint_t Get_GUEST_GS_BASE();
644 void PrintTrace_GUEST_GS_BASE();
647 void Set_GUEST_LDTR_BASE(uint_t val);
648 uint_t Get_GUEST_LDTR_BASE();
650 void PrintTrace_GUEST_LDTR_BASE();
653 void Set_GUEST_TR_BASE(uint_t val);
654 uint_t Get_GUEST_TR_BASE();
656 void PrintTrace_GUEST_TR_BASE();
659 void Set_GUEST_GDTR_BASE(uint_t val);
660 uint_t Get_GUEST_GDTR_BASE();
662 void PrintTrace_GUEST_GDTR_BASE();
665 void Set_GUEST_IDTR_BASE(uint_t val);
666 uint_t Get_GUEST_IDTR_BASE();
668 void PrintTrace_GUEST_IDTR_BASE();
671 void Set_GUEST_DR7(uint_t val);
672 uint_t Get_GUEST_DR7();
674 void PrintTrace_GUEST_DR7();
677 void Set_GUEST_RSP(uint_t val);
678 uint_t Get_GUEST_RSP();
680 void PrintTrace_GUEST_RSP();
683 void Set_GUEST_RIP(uint_t val);
684 uint_t Get_GUEST_RIP();
686 void PrintTrace_GUEST_RIP();
689 void Set_GUEST_RFLAGS(uint_t val);
690 uint_t Get_GUEST_RFLAGS();
692 void PrintTrace_GUEST_RFLAGS();
695 void Set_GUEST_PENDING_DEBUG_EXCS(uint_t val);
696 uint_t Get_GUEST_PENDING_DEBUG_EXCS();
698 void PrintTrace_GUEST_PENDING_DEBUG_EXCS();
701 void Set_GUEST_IA32_SYSENTER_ESP(uint_t val);
702 uint_t Get_GUEST_IA32_SYSENTER_ESP();
704 void PrintTrace_GUEST_IA32_SYSENTER_ESP();
707 void Set_GUEST_IA32_SYSENTER_EIP(uint_t val);
708 uint_t Get_GUEST_IA32_SYSENTER_EIP();
710 void PrintTrace_GUEST_IA32_SYSENTER_EIP();
713 void Set_HOST_CR0(uint_t val);
714 uint_t Get_HOST_CR0();
716 void PrintTrace_HOST_CR0();
719 void Set_HOST_CR3(uint_t val);
720 uint_t Get_HOST_CR3();
722 void PrintTrace_HOST_CR3();
725 void Set_HOST_CR4(uint_t val);
726 uint_t Get_HOST_CR4();
728 void PrintTrace_HOST_CR4();
731 void Set_HOST_FS_BASE(uint_t val);
732 uint_t Get_HOST_FS_BASE();
734 void PrintTrace_HOST_FS_BASE();
737 void Set_HOST_GS_BASE(uint_t val);
738 uint_t Get_HOST_GS_BASE();
740 void PrintTrace_HOST_GS_BASE();
743 void Set_HOST_TR_BASE(uint_t val);
744 uint_t Get_HOST_TR_BASE();
746 void PrintTrace_HOST_TR_BASE();
749 void Set_HOST_GDTR_BASE(uint_t val);
750 uint_t Get_HOST_GDTR_BASE();
752 void PrintTrace_HOST_GDTR_BASE();
755 void Set_HOST_IDTR_BASE(uint_t val);
756 uint_t Get_HOST_IDTR_BASE();
758 void PrintTrace_HOST_IDTR_BASE();
761 void Set_HOST_IA32_SYSENTER_ESP(uint_t val);
762 uint_t Get_HOST_IA32_SYSENTER_ESP();
764 void PrintTrace_HOST_IA32_SYSENTER_ESP();
767 void Set_HOST_IA32_SYSENTER_EIP(uint_t val);
768 uint_t Get_HOST_IA32_SYSENTER_EIP();
770 void PrintTrace_HOST_IA32_SYSENTER_EIP();
773 void Set_HOST_RSP(uint_t val);
774 uint_t Get_HOST_RSP();
776 void PrintTrace_HOST_RSP();
779 void Set_HOST_RIP(uint_t val);
780 uint_t Get_HOST_RIP();
782 void PrintTrace_HOST_RIP();
784 void PrintTrace_VMCS_ALL();