3 #include <palacios/vmcs.h>
4 #include <palacios/vmm.h>
6 void Set_VMCS_GUEST_ES_SELECTOR(uint_t val);
7 uint_t Get_VMCS_GUEST_ES_SELECTOR();
9 void PrintTrace_VMCS_GUEST_ES_SELECTOR();
12 void Set_VMCS_GUEST_CS_SELECTOR(uint_t val);
13 uint_t Get_VMCS_GUEST_CS_SELECTOR();
15 void PrintTrace_VMCS_GUEST_CS_SELECTOR();
18 void Set_VMCS_GUEST_SS_SELECTOR(uint_t val);
19 uint_t Get_VMCS_GUEST_SS_SELECTOR();
21 void PrintTrace_VMCS_GUEST_SS_SELECTOR();
24 void Set_VMCS_GUEST_DS_SELECTOR(uint_t val);
25 uint_t Get_VMCS_GUEST_DS_SELECTOR();
27 void PrintTrace_VMCS_GUEST_DS_SELECTOR();
30 void Set_VMCS_GUEST_FS_SELECTOR(uint_t val);
31 uint_t Get_VMCS_GUEST_FS_SELECTOR();
33 void PrintTrace_VMCS_GUEST_FS_SELECTOR();
36 void Set_VMCS_GUEST_GS_SELECTOR(uint_t val);
37 uint_t Get_VMCS_GUEST_GS_SELECTOR();
39 void PrintTrace_VMCS_GUEST_GS_SELECTOR();
42 void Set_VMCS_GUEST_LDTR_SELECTOR(uint_t val);
43 uint_t Get_VMCS_GUEST_LDTR_SELECTOR();
45 void PrintTrace_VMCS_GUEST_LDTR_SELECTOR();
48 void Set_VMCS_GUEST_TR_SELECTOR(uint_t val);
49 uint_t Get_VMCS_GUEST_TR_SELECTOR();
51 void PrintTrace_VMCS_GUEST_TR_SELECTOR();
54 void Set_VMCS_HOST_ES_SELECTOR(uint_t val);
55 uint_t Get_VMCS_HOST_ES_SELECTOR();
57 void PrintTrace_VMCS_HOST_ES_SELECTOR();
60 void Set_VMCS_HOST_CS_SELECTOR(uint_t val);
61 uint_t Get_VMCS_HOST_CS_SELECTOR();
63 void PrintTrace_VMCS_HOST_CS_SELECTOR();
66 void Set_VMCS_HOST_SS_SELECTOR(uint_t val);
67 uint_t Get_VMCS_HOST_SS_SELECTOR();
69 void PrintTrace_VMCS_HOST_SS_SELECTOR();
72 void Set_VMCS_HOST_DS_SELECTOR(uint_t val);
73 uint_t Get_VMCS_HOST_DS_SELECTOR();
75 void PrintTrace_VMCS_HOST_DS_SELECTOR();
78 void Set_VMCS_HOST_FS_SELECTOR(uint_t val);
79 uint_t Get_VMCS_HOST_FS_SELECTOR();
81 void PrintTrace_VMCS_HOST_FS_SELECTOR();
84 void Set_VMCS_HOST_GS_SELECTOR(uint_t val);
85 uint_t Get_VMCS_HOST_GS_SELECTOR();
87 void PrintTrace_VMCS_HOST_GS_SELECTOR();
90 void Set_VMCS_HOST_TR_SELECTOR(uint_t val);
91 uint_t Get_VMCS_HOST_TR_SELECTOR();
93 void PrintTrace_VMCS_HOST_TR_SELECTOR();
96 void Set_IO_BITMAP_A_ADDR(uint_t val);
97 uint_t Get_IO_BITMAP_A_ADDR();
99 void PrintTrace_IO_BITMAP_A_ADDR();
102 void Set_IO_BITMAP_A_ADDR_HIGH(uint_t val);
103 uint_t Get_IO_BITMAP_A_ADDR_HIGH();
105 void PrintTrace_IO_BITMAP_A_ADDR_HIGH();
108 void Set_IO_BITMAP_B_ADDR(uint_t val);
109 uint_t Get_IO_BITMAP_B_ADDR();
111 void PrintTrace_IO_BITMAP_B_ADDR();
114 void Set_IO_BITMAP_B_ADDR_HIGH(uint_t val);
115 uint_t Get_IO_BITMAP_B_ADDR_HIGH();
117 void PrintTrace_IO_BITMAP_B_ADDR_HIGH();
120 void Set_MSR_BITMAPS(uint_t val);
121 uint_t Get_MSR_BITMAPS();
123 void PrintTrace_MSR_BITMAPS();
126 void Set_MSR_BITMAPS_HIGH(uint_t val);
127 uint_t Get_MSR_BITMAPS_HIGH();
129 void PrintTrace_MSR_BITMAPS_HIGH();
132 void Set_VM_EXIT_MSR_STORE_ADDR(uint_t val);
133 uint_t Get_VM_EXIT_MSR_STORE_ADDR();
135 void PrintTrace_VM_EXIT_MSR_STORE_ADDR();
138 void Set_VM_EXIT_MSR_STORE_ADDR_HIGH(uint_t val);
139 uint_t Get_VM_EXIT_MSR_STORE_ADDR_HIGH();
141 void PrintTrace_VM_EXIT_MSR_STORE_ADDR_HIGH();
144 void Set_VM_EXIT_MSR_LOAD_ADDR(uint_t val);
145 uint_t Get_VM_EXIT_MSR_LOAD_ADDR();
147 void PrintTrace_VM_EXIT_MSR_LOAD_ADDR();
150 void Set_VM_EXIT_MSR_LOAD_ADDR_HIGH(uint_t val);
151 uint_t Get_VM_EXIT_MSR_LOAD_ADDR_HIGH();
153 void PrintTrace_VM_EXIT_MSR_LOAD_ADDR_HIGH();
156 void Set_VM_ENTRY_MSR_LOAD_ADDR(uint_t val);
157 uint_t Get_VM_ENTRY_MSR_LOAD_ADDR();
159 void PrintTrace_VM_ENTRY_MSR_LOAD_ADDR();
162 void Set_VM_ENTRY_MSR_LOAD_ADDR_HIGH(uint_t val);
163 uint_t Get_VM_ENTRY_MSR_LOAD_ADDR_HIGH();
165 void PrintTrace_VM_ENTRY_MSR_LOAD_ADDR_HIGH();
168 void Set_VMCS_EXEC_PTR(uint_t val);
169 uint_t Get_VMCS_EXEC_PTR();
171 void PrintTrace_VMCS_EXEC_PTR();
174 void Set_VMCS_EXEC_PTR_HIGH(uint_t val);
175 uint_t Get_VMCS_EXEC_PTR_HIGH();
177 void PrintTrace_VMCS_EXEC_PTR_HIGH();
180 void Set_TSC_OFFSET(uint_t val);
181 uint_t Get_TSC_OFFSET();
183 void PrintTrace_TSC_OFFSET();
186 void Set_TSC_OFFSET_HIGH(uint_t val);
187 uint_t Get_TSC_OFFSET_HIGH();
189 void PrintTrace_TSC_OFFSET_HIGH();
192 void Set_VIRT_APIC_PAGE_ADDR(uint_t val);
193 uint_t Get_VIRT_APIC_PAGE_ADDR();
195 void PrintTrace_VIRT_APIC_PAGE_ADDR();
198 void Set_VIRT_APIC_PAGE_ADDR_HIGH(uint_t val);
199 uint_t Get_VIRT_APIC_PAGE_ADDR_HIGH();
201 void PrintTrace_VIRT_APIC_PAGE_ADDR_HIGH();
204 void Set_VMCS_LINK_PTR(uint_t val);
205 uint_t Get_VMCS_LINK_PTR();
207 void PrintTrace_VMCS_LINK_PTR();
210 void Set_VMCS_LINK_PTR_HIGH(uint_t val);
211 uint_t Get_VMCS_LINK_PTR_HIGH();
213 void PrintTrace_VMCS_LINK_PTR_HIGH();
216 void Set_GUEST_IA32_DEBUGCTL(uint_t val);
217 uint_t Get_GUEST_IA32_DEBUGCTL();
219 void PrintTrace_GUEST_IA32_DEBUGCTL();
222 void Set_GUEST_IA32_DEBUGCTL_HIGH(uint_t val);
223 uint_t Get_GUEST_IA32_DEBUGCTL_HIGH();
225 void PrintTrace_GUEST_IA32_DEBUGCTL_HIGH();
228 void Set_PIN_VM_EXEC_CTRLS(uint_t val);
229 uint_t Get_PIN_VM_EXEC_CTRLS();
231 void PrintTrace_PIN_VM_EXEC_CTRLS();
234 void Set_PROC_VM_EXEC_CTRLS(uint_t val);
235 uint_t Get_PROC_VM_EXEC_CTRLS();
237 void PrintTrace_PROC_VM_EXEC_CTRLS();
240 void Set_EXCEPTION_BITMAP(uint_t val);
241 uint_t Get_EXCEPTION_BITMAP();
243 void PrintTrace_EXCEPTION_BITMAP();
246 void Set_PAGE_FAULT_ERROR_MASK(uint_t val);
247 uint_t Get_PAGE_FAULT_ERROR_MASK();
249 void PrintTrace_PAGE_FAULT_ERROR_MASK();
252 void Set_PAGE_FAULT_ERROR_MATCH(uint_t val);
253 uint_t Get_PAGE_FAULT_ERROR_MATCH();
255 void PrintTrace_PAGE_FAULT_ERROR_MATCH();
258 void Set_CR3_TARGET_COUNT(uint_t val);
259 uint_t Get_CR3_TARGET_COUNT();
261 void PrintTrace_CR3_TARGET_COUNT();
264 void Set_VM_EXIT_CTRLS(uint_t val);
265 uint_t Get_VM_EXIT_CTRLS();
267 void PrintTrace_VM_EXIT_CTRLS();
270 void Set_VM_EXIT_MSR_STORE_COUNT(uint_t val);
271 uint_t Get_VM_EXIT_MSR_STORE_COUNT();
273 void PrintTrace_VM_EXIT_MSR_STORE_COUNT();
276 void Set_VM_EXIT_MSR_LOAD_COUNT(uint_t val);
277 uint_t Get_VM_EXIT_MSR_LOAD_COUNT();
279 void PrintTrace_VM_EXIT_MSR_LOAD_COUNT();
282 void Set_VM_ENTRY_CTRLS(uint_t val);
283 uint_t Get_VM_ENTRY_CTRLS();
285 void PrintTrace_VM_ENTRY_CTRLS();
288 void Set_VM_ENTRY_MSR_LOAD_COUNT(uint_t val);
289 uint_t Get_VM_ENTRY_MSR_LOAD_COUNT();
291 void PrintTrace_VM_ENTRY_MSR_LOAD_COUNT();
294 void Set_VM_ENTRY_INT_INFO_FIELD(uint_t val);
295 uint_t Get_VM_ENTRY_INT_INFO_FIELD();
297 void PrintTrace_VM_ENTRY_INT_INFO_FIELD();
300 void Set_VM_ENTRY_EXCEPTION_ERROR(uint_t val);
301 uint_t Get_VM_ENTRY_EXCEPTION_ERROR();
303 void PrintTrace_VM_ENTRY_EXCEPTION_ERROR();
306 void Set_VM_ENTRY_INSTR_LENGTH(uint_t val);
307 uint_t Get_VM_ENTRY_INSTR_LENGTH();
309 void PrintTrace_VM_ENTRY_INSTR_LENGTH();
312 void Set_TPR_THRESHOLD(uint_t val);
313 uint_t Get_TPR_THRESHOLD();
315 void PrintTrace_TPR_THRESHOLD();
318 void Set_VM_INSTR_ERROR(uint_t val);
319 uint_t Get_VM_INSTR_ERROR();
321 void PrintTrace_VM_INSTR_ERROR();
324 void Set_EXIT_REASON(uint_t val);
325 uint_t Get_EXIT_REASON();
327 void PrintTrace_EXIT_REASON();
330 void Set_VM_EXIT_INT_INFO(uint_t val);
331 uint_t Get_VM_EXIT_INT_INFO();
333 void PrintTrace_VM_EXIT_INT_INFO();
336 void Set_VM_EXIT_INT_ERROR(uint_t val);
337 uint_t Get_VM_EXIT_INT_ERROR();
339 void PrintTrace_VM_EXIT_INT_ERROR();
342 void Set_IDT_VECTOR_INFO(uint_t val);
343 uint_t Get_IDT_VECTOR_INFO();
345 void PrintTrace_IDT_VECTOR_INFO();
348 void Set_IDT_VECTOR_ERROR(uint_t val);
349 uint_t Get_IDT_VECTOR_ERROR();
351 void PrintTrace_IDT_VECTOR_ERROR();
354 void Set_VM_EXIT_INSTR_LENGTH(uint_t val);
355 uint_t Get_VM_EXIT_INSTR_LENGTH();
357 void PrintTrace_VM_EXIT_INSTR_LENGTH();
360 void Set_VMX_INSTR_INFO(uint_t val);
361 uint_t Get_VMX_INSTR_INFO();
363 void PrintTrace_VMX_INSTR_INFO();
366 void Set_GUEST_ES_LIMIT(uint_t val);
367 uint_t Get_GUEST_ES_LIMIT();
369 void PrintTrace_GUEST_ES_LIMIT();
372 void Set_GUEST_CS_LIMIT(uint_t val);
373 uint_t Get_GUEST_CS_LIMIT();
375 void PrintTrace_GUEST_CS_LIMIT();
378 void Set_GUEST_SS_LIMIT(uint_t val);
379 uint_t Get_GUEST_SS_LIMIT();
381 void PrintTrace_GUEST_SS_LIMIT();
384 void Set_GUEST_DS_LIMIT(uint_t val);
385 uint_t Get_GUEST_DS_LIMIT();
387 void PrintTrace_GUEST_DS_LIMIT();
390 void Set_GUEST_FS_LIMIT(uint_t val);
391 uint_t Get_GUEST_FS_LIMIT();
393 void PrintTrace_GUEST_FS_LIMIT();
396 void Set_GUEST_GS_LIMIT(uint_t val);
397 uint_t Get_GUEST_GS_LIMIT();
399 void PrintTrace_GUEST_GS_LIMIT();
402 void Set_GUEST_LDTR_LIMIT(uint_t val);
403 uint_t Get_GUEST_LDTR_LIMIT();
405 void PrintTrace_GUEST_LDTR_LIMIT();
408 void Set_GUEST_TR_LIMIT(uint_t val);
409 uint_t Get_GUEST_TR_LIMIT();
411 void PrintTrace_GUEST_TR_LIMIT();
414 void Set_GUEST_GDTR_LIMIT(uint_t val);
415 uint_t Get_GUEST_GDTR_LIMIT();
417 void PrintTrace_GUEST_GDTR_LIMIT();
420 void Set_GUEST_IDTR_LIMIT(uint_t val);
421 uint_t Get_GUEST_IDTR_LIMIT();
423 void PrintTrace_GUEST_IDTR_LIMIT();
426 void Set_GUEST_ES_ACCESS(uint_t val);
427 uint_t Get_GUEST_ES_ACCESS();
429 void PrintTrace_GUEST_ES_ACCESS();
432 void Set_GUEST_CS_ACCESS(uint_t val);
433 uint_t Get_GUEST_CS_ACCESS();
435 void PrintTrace_GUEST_CS_ACCESS();
438 void Set_GUEST_SS_ACCESS(uint_t val);
439 uint_t Get_GUEST_SS_ACCESS();
441 void PrintTrace_GUEST_SS_ACCESS();
444 void Set_GUEST_DS_ACCESS(uint_t val);
445 uint_t Get_GUEST_DS_ACCESS();
447 void PrintTrace_GUEST_DS_ACCESS();
450 void Set_GUEST_FS_ACCESS(uint_t val);
451 uint_t Get_GUEST_FS_ACCESS();
453 void PrintTrace_GUEST_FS_ACCESS();
456 void Set_GUEST_GS_ACCESS(uint_t val);
457 uint_t Get_GUEST_GS_ACCESS();
459 void PrintTrace_GUEST_GS_ACCESS();
462 void Set_GUEST_LDTR_ACCESS(uint_t val);
463 uint_t Get_GUEST_LDTR_ACCESS();
465 void PrintTrace_GUEST_LDTR_ACCESS();
468 void Set_GUEST_TR_ACCESS(uint_t val);
469 uint_t Get_GUEST_TR_ACCESS();
471 void PrintTrace_GUEST_TR_ACCESS();
474 void Set_GUEST_INT_STATE(uint_t val);
475 uint_t Get_GUEST_INT_STATE();
477 void PrintTrace_GUEST_INT_STATE();
480 void Set_GUEST_ACTIVITY_STATE(uint_t val);
481 uint_t Get_GUEST_ACTIVITY_STATE();
483 void PrintTrace_GUEST_ACTIVITY_STATE();
486 void Set_GUEST_SMBASE(uint_t val);
487 uint_t Get_GUEST_SMBASE();
489 void PrintTrace_GUEST_SMBASE();
492 void Set_GUEST_IA32_SYSENTER_CS(uint_t val);
493 uint_t Get_GUEST_IA32_SYSENTER_CS();
495 void PrintTrace_GUEST_IA32_SYSENTER_CS();
498 void Set_HOST_IA32_SYSENTER_CS(uint_t val);
499 uint_t Get_HOST_IA32_SYSENTER_CS();
501 void PrintTrace_HOST_IA32_SYSENTER_CS();
504 void Set_CR0_GUEST_HOST_MASK(uint_t val);
505 uint_t Get_CR0_GUEST_HOST_MASK();
507 void PrintTrace_CR0_GUEST_HOST_MASK();
510 void Set_CR4_GUEST_HOST_MASK(uint_t val);
511 uint_t Get_CR4_GUEST_HOST_MASK();
513 void PrintTrace_CR4_GUEST_HOST_MASK();
516 void Set_CR0_READ_SHADOW(uint_t val);
517 uint_t Get_CR0_READ_SHADOW();
519 void PrintTrace_CR0_READ_SHADOW();
522 void Set_CR4_READ_SHADOW(uint_t val);
523 uint_t Get_CR4_READ_SHADOW();
525 void PrintTrace_CR4_READ_SHADOW();
528 void Set_CR3_TARGET_VALUE_0(uint_t val);
529 uint_t Get_CR3_TARGET_VALUE_0();
531 void PrintTrace_CR3_TARGET_VALUE_0();
534 void Set_CR3_TARGET_VALUE_1(uint_t val);
535 uint_t Get_CR3_TARGET_VALUE_1();
537 void PrintTrace_CR3_TARGET_VALUE_1();
540 void Set_CR3_TARGET_VALUE_2(uint_t val);
541 uint_t Get_CR3_TARGET_VALUE_2();
543 void PrintTrace_CR3_TARGET_VALUE_2();
546 void Set_CR3_TARGET_VALUE_3(uint_t val);
547 uint_t Get_CR3_TARGET_VALUE_3();
549 void PrintTrace_CR3_TARGET_VALUE_3();
552 void Set_EXIT_QUALIFICATION(uint_t val);
553 uint_t Get_EXIT_QUALIFICATION();
555 void PrintTrace_EXIT_QUALIFICATION();
558 void Set_IO_RCX(uint_t val);
561 void PrintTrace_IO_RCX();
564 void Set_IO_RSI(uint_t val);
567 void PrintTrace_IO_RSI();
570 void Set_IO_RDI(uint_t val);
573 void PrintTrace_IO_RDI();
576 void Set_IO_RIP(uint_t val);
579 void PrintTrace_IO_RIP();
582 void Set_GUEST_LINEAR_ADDR(uint_t val);
583 uint_t Get_GUEST_LINEAR_ADDR();
585 void PrintTrace_GUEST_LINEAR_ADDR();
588 void Set_GUEST_CR0(uint_t val);
589 uint_t Get_GUEST_CR0();
591 void PrintTrace_GUEST_CR0();
594 void Set_GUEST_CR3(uint_t val);
595 uint_t Get_GUEST_CR3();
597 void PrintTrace_GUEST_CR3();
600 void Set_GUEST_CR4(uint_t val);
601 uint_t Get_GUEST_CR4();
603 void PrintTrace_GUEST_CR4();
606 void Set_GUEST_ES_BASE(uint_t val);
607 uint_t Get_GUEST_ES_BASE();
609 void PrintTrace_GUEST_ES_BASE();
612 void Set_GUEST_CS_BASE(uint_t val);
613 uint_t Get_GUEST_CS_BASE();
615 void PrintTrace_GUEST_CS_BASE();
618 void Set_GUEST_SS_BASE(uint_t val);
619 uint_t Get_GUEST_SS_BASE();
621 void PrintTrace_GUEST_SS_BASE();
624 void Set_GUEST_DS_BASE(uint_t val);
625 uint_t Get_GUEST_DS_BASE();
627 void PrintTrace_GUEST_DS_BASE();
630 void Set_GUEST_FS_BASE(uint_t val);
631 uint_t Get_GUEST_FS_BASE();
633 void PrintTrace_GUEST_FS_BASE();
636 void Set_GUEST_GS_BASE(uint_t val);
637 uint_t Get_GUEST_GS_BASE();
639 void PrintTrace_GUEST_GS_BASE();
642 void Set_GUEST_LDTR_BASE(uint_t val);
643 uint_t Get_GUEST_LDTR_BASE();
645 void PrintTrace_GUEST_LDTR_BASE();
648 void Set_GUEST_TR_BASE(uint_t val);
649 uint_t Get_GUEST_TR_BASE();
651 void PrintTrace_GUEST_TR_BASE();
654 void Set_GUEST_GDTR_BASE(uint_t val);
655 uint_t Get_GUEST_GDTR_BASE();
657 void PrintTrace_GUEST_GDTR_BASE();
660 void Set_GUEST_IDTR_BASE(uint_t val);
661 uint_t Get_GUEST_IDTR_BASE();
663 void PrintTrace_GUEST_IDTR_BASE();
666 void Set_GUEST_DR7(uint_t val);
667 uint_t Get_GUEST_DR7();
669 void PrintTrace_GUEST_DR7();
672 void Set_GUEST_RSP(uint_t val);
673 uint_t Get_GUEST_RSP();
675 void PrintTrace_GUEST_RSP();
678 void Set_GUEST_RIP(uint_t val);
679 uint_t Get_GUEST_RIP();
681 void PrintTrace_GUEST_RIP();
684 void Set_GUEST_RFLAGS(uint_t val);
685 uint_t Get_GUEST_RFLAGS();
687 void PrintTrace_GUEST_RFLAGS();
690 void Set_GUEST_PENDING_DEBUG_EXCS(uint_t val);
691 uint_t Get_GUEST_PENDING_DEBUG_EXCS();
693 void PrintTrace_GUEST_PENDING_DEBUG_EXCS();
696 void Set_GUEST_IA32_SYSENTER_ESP(uint_t val);
697 uint_t Get_GUEST_IA32_SYSENTER_ESP();
699 void PrintTrace_GUEST_IA32_SYSENTER_ESP();
702 void Set_GUEST_IA32_SYSENTER_EIP(uint_t val);
703 uint_t Get_GUEST_IA32_SYSENTER_EIP();
705 void PrintTrace_GUEST_IA32_SYSENTER_EIP();
708 void Set_HOST_CR0(uint_t val);
709 uint_t Get_HOST_CR0();
711 void PrintTrace_HOST_CR0();
714 void Set_HOST_CR3(uint_t val);
715 uint_t Get_HOST_CR3();
717 void PrintTrace_HOST_CR3();
720 void Set_HOST_CR4(uint_t val);
721 uint_t Get_HOST_CR4();
723 void PrintTrace_HOST_CR4();
726 void Set_HOST_FS_BASE(uint_t val);
727 uint_t Get_HOST_FS_BASE();
729 void PrintTrace_HOST_FS_BASE();
732 void Set_HOST_GS_BASE(uint_t val);
733 uint_t Get_HOST_GS_BASE();
735 void PrintTrace_HOST_GS_BASE();
738 void Set_HOST_TR_BASE(uint_t val);
739 uint_t Get_HOST_TR_BASE();
741 void PrintTrace_HOST_TR_BASE();
744 void Set_HOST_GDTR_BASE(uint_t val);
745 uint_t Get_HOST_GDTR_BASE();
747 void PrintTrace_HOST_GDTR_BASE();
750 void Set_HOST_IDTR_BASE(uint_t val);
751 uint_t Get_HOST_IDTR_BASE();
753 void PrintTrace_HOST_IDTR_BASE();
756 void Set_HOST_IA32_SYSENTER_ESP(uint_t val);
757 uint_t Get_HOST_IA32_SYSENTER_ESP();
759 void PrintTrace_HOST_IA32_SYSENTER_ESP();
762 void Set_HOST_IA32_SYSENTER_EIP(uint_t val);
763 uint_t Get_HOST_IA32_SYSENTER_EIP();
765 void PrintTrace_HOST_IA32_SYSENTER_EIP();
768 void Set_HOST_RSP(uint_t val);
769 uint_t Get_HOST_RSP();
771 void PrintTrace_HOST_RSP();
774 void Set_HOST_RIP(uint_t val);
775 uint_t Get_HOST_RIP();
777 void PrintTrace_HOST_RIP();
779 void PrintTrace_VMCS_ALL();