3 #include <geekos/vmcs.h>
5 void Set_VMCS_GUEST_ES_SELECTOR(uint_t val);
6 uint_t Get_VMCS_GUEST_ES_SELECTOR();
8 void SerialPrint_VMCS_GUEST_ES_SELECTOR();
11 void Set_VMCS_GUEST_CS_SELECTOR(uint_t val);
12 uint_t Get_VMCS_GUEST_CS_SELECTOR();
14 void SerialPrint_VMCS_GUEST_CS_SELECTOR();
17 void Set_VMCS_GUEST_SS_SELECTOR(uint_t val);
18 uint_t Get_VMCS_GUEST_SS_SELECTOR();
20 void SerialPrint_VMCS_GUEST_SS_SELECTOR();
23 void Set_VMCS_GUEST_DS_SELECTOR(uint_t val);
24 uint_t Get_VMCS_GUEST_DS_SELECTOR();
26 void SerialPrint_VMCS_GUEST_DS_SELECTOR();
29 void Set_VMCS_GUEST_FS_SELECTOR(uint_t val);
30 uint_t Get_VMCS_GUEST_FS_SELECTOR();
32 void SerialPrint_VMCS_GUEST_FS_SELECTOR();
35 void Set_VMCS_GUEST_GS_SELECTOR(uint_t val);
36 uint_t Get_VMCS_GUEST_GS_SELECTOR();
38 void SerialPrint_VMCS_GUEST_GS_SELECTOR();
41 void Set_VMCS_GUEST_LDTR_SELECTOR(uint_t val);
42 uint_t Get_VMCS_GUEST_LDTR_SELECTOR();
44 void SerialPrint_VMCS_GUEST_LDTR_SELECTOR();
47 void Set_VMCS_GUEST_TR_SELECTOR(uint_t val);
48 uint_t Get_VMCS_GUEST_TR_SELECTOR();
50 void SerialPrint_VMCS_GUEST_TR_SELECTOR();
53 void Set_VMCS_HOST_ES_SELECTOR(uint_t val);
54 uint_t Get_VMCS_HOST_ES_SELECTOR();
56 void SerialPrint_VMCS_HOST_ES_SELECTOR();
59 void Set_VMCS_HOST_CS_SELECTOR(uint_t val);
60 uint_t Get_VMCS_HOST_CS_SELECTOR();
62 void SerialPrint_VMCS_HOST_CS_SELECTOR();
65 void Set_VMCS_HOST_SS_SELECTOR(uint_t val);
66 uint_t Get_VMCS_HOST_SS_SELECTOR();
68 void SerialPrint_VMCS_HOST_SS_SELECTOR();
71 void Set_VMCS_HOST_DS_SELECTOR(uint_t val);
72 uint_t Get_VMCS_HOST_DS_SELECTOR();
74 void SerialPrint_VMCS_HOST_DS_SELECTOR();
77 void Set_VMCS_HOST_FS_SELECTOR(uint_t val);
78 uint_t Get_VMCS_HOST_FS_SELECTOR();
80 void SerialPrint_VMCS_HOST_FS_SELECTOR();
83 void Set_VMCS_HOST_GS_SELECTOR(uint_t val);
84 uint_t Get_VMCS_HOST_GS_SELECTOR();
86 void SerialPrint_VMCS_HOST_GS_SELECTOR();
89 void Set_VMCS_HOST_TR_SELECTOR(uint_t val);
90 uint_t Get_VMCS_HOST_TR_SELECTOR();
92 void SerialPrint_VMCS_HOST_TR_SELECTOR();
95 void Set_IO_BITMAP_A_ADDR(uint_t val);
96 uint_t Get_IO_BITMAP_A_ADDR();
98 void SerialPrint_IO_BITMAP_A_ADDR();
101 void Set_IO_BITMAP_A_ADDR_HIGH(uint_t val);
102 uint_t Get_IO_BITMAP_A_ADDR_HIGH();
104 void SerialPrint_IO_BITMAP_A_ADDR_HIGH();
107 void Set_IO_BITMAP_B_ADDR(uint_t val);
108 uint_t Get_IO_BITMAP_B_ADDR();
110 void SerialPrint_IO_BITMAP_B_ADDR();
113 void Set_IO_BITMAP_B_ADDR_HIGH(uint_t val);
114 uint_t Get_IO_BITMAP_B_ADDR_HIGH();
116 void SerialPrint_IO_BITMAP_B_ADDR_HIGH();
119 void Set_MSR_BITMAPS(uint_t val);
120 uint_t Get_MSR_BITMAPS();
122 void SerialPrint_MSR_BITMAPS();
125 void Set_MSR_BITMAPS_HIGH(uint_t val);
126 uint_t Get_MSR_BITMAPS_HIGH();
128 void SerialPrint_MSR_BITMAPS_HIGH();
131 void Set_VM_EXIT_MSR_STORE_ADDR(uint_t val);
132 uint_t Get_VM_EXIT_MSR_STORE_ADDR();
134 void SerialPrint_VM_EXIT_MSR_STORE_ADDR();
137 void Set_VM_EXIT_MSR_STORE_ADDR_HIGH(uint_t val);
138 uint_t Get_VM_EXIT_MSR_STORE_ADDR_HIGH();
140 void SerialPrint_VM_EXIT_MSR_STORE_ADDR_HIGH();
143 void Set_VM_EXIT_MSR_LOAD_ADDR(uint_t val);
144 uint_t Get_VM_EXIT_MSR_LOAD_ADDR();
146 void SerialPrint_VM_EXIT_MSR_LOAD_ADDR();
149 void Set_VM_EXIT_MSR_LOAD_ADDR_HIGH(uint_t val);
150 uint_t Get_VM_EXIT_MSR_LOAD_ADDR_HIGH();
152 void SerialPrint_VM_EXIT_MSR_LOAD_ADDR_HIGH();
155 void Set_VM_ENTRY_MSR_LOAD_ADDR(uint_t val);
156 uint_t Get_VM_ENTRY_MSR_LOAD_ADDR();
158 void SerialPrint_VM_ENTRY_MSR_LOAD_ADDR();
161 void Set_VM_ENTRY_MSR_LOAD_ADDR_HIGH(uint_t val);
162 uint_t Get_VM_ENTRY_MSR_LOAD_ADDR_HIGH();
164 void SerialPrint_VM_ENTRY_MSR_LOAD_ADDR_HIGH();
167 void Set_VMCS_EXEC_PTR(uint_t val);
168 uint_t Get_VMCS_EXEC_PTR();
170 void SerialPrint_VMCS_EXEC_PTR();
173 void Set_VMCS_EXEC_PTR_HIGH(uint_t val);
174 uint_t Get_VMCS_EXEC_PTR_HIGH();
176 void SerialPrint_VMCS_EXEC_PTR_HIGH();
179 void Set_TSC_OFFSET(uint_t val);
180 uint_t Get_TSC_OFFSET();
182 void SerialPrint_TSC_OFFSET();
185 void Set_TSC_OFFSET_HIGH(uint_t val);
186 uint_t Get_TSC_OFFSET_HIGH();
188 void SerialPrint_TSC_OFFSET_HIGH();
191 void Set_VIRT_APIC_PAGE_ADDR(uint_t val);
192 uint_t Get_VIRT_APIC_PAGE_ADDR();
194 void SerialPrint_VIRT_APIC_PAGE_ADDR();
197 void Set_VIRT_APIC_PAGE_ADDR_HIGH(uint_t val);
198 uint_t Get_VIRT_APIC_PAGE_ADDR_HIGH();
200 void SerialPrint_VIRT_APIC_PAGE_ADDR_HIGH();
203 void Set_VMCS_LINK_PTR(uint_t val);
204 uint_t Get_VMCS_LINK_PTR();
206 void SerialPrint_VMCS_LINK_PTR();
209 void Set_VMCS_LINK_PTR_HIGH(uint_t val);
210 uint_t Get_VMCS_LINK_PTR_HIGH();
212 void SerialPrint_VMCS_LINK_PTR_HIGH();
215 void Set_GUEST_IA32_DEBUGCTL(uint_t val);
216 uint_t Get_GUEST_IA32_DEBUGCTL();
218 void SerialPrint_GUEST_IA32_DEBUGCTL();
221 void Set_GUEST_IA32_DEBUGCTL_HIGH(uint_t val);
222 uint_t Get_GUEST_IA32_DEBUGCTL_HIGH();
224 void SerialPrint_GUEST_IA32_DEBUGCTL_HIGH();
227 void Set_PIN_VM_EXEC_CTRLS(uint_t val);
228 uint_t Get_PIN_VM_EXEC_CTRLS();
230 void SerialPrint_PIN_VM_EXEC_CTRLS();
233 void Set_PROC_VM_EXEC_CTRLS(uint_t val);
234 uint_t Get_PROC_VM_EXEC_CTRLS();
236 void SerialPrint_PROC_VM_EXEC_CTRLS();
239 void Set_EXCEPTION_BITMAP(uint_t val);
240 uint_t Get_EXCEPTION_BITMAP();
242 void SerialPrint_EXCEPTION_BITMAP();
245 void Set_PAGE_FAULT_ERROR_MASK(uint_t val);
246 uint_t Get_PAGE_FAULT_ERROR_MASK();
248 void SerialPrint_PAGE_FAULT_ERROR_MASK();
251 void Set_PAGE_FAULT_ERROR_MATCH(uint_t val);
252 uint_t Get_PAGE_FAULT_ERROR_MATCH();
254 void SerialPrint_PAGE_FAULT_ERROR_MATCH();
257 void Set_CR3_TARGET_COUNT(uint_t val);
258 uint_t Get_CR3_TARGET_COUNT();
260 void SerialPrint_CR3_TARGET_COUNT();
263 void Set_VM_EXIT_CTRLS(uint_t val);
264 uint_t Get_VM_EXIT_CTRLS();
266 void SerialPrint_VM_EXIT_CTRLS();
269 void Set_VM_EXIT_MSR_STORE_COUNT(uint_t val);
270 uint_t Get_VM_EXIT_MSR_STORE_COUNT();
272 void SerialPrint_VM_EXIT_MSR_STORE_COUNT();
275 void Set_VM_EXIT_MSR_LOAD_COUNT(uint_t val);
276 uint_t Get_VM_EXIT_MSR_LOAD_COUNT();
278 void SerialPrint_VM_EXIT_MSR_LOAD_COUNT();
281 void Set_VM_ENTRY_CTRLS(uint_t val);
282 uint_t Get_VM_ENTRY_CTRLS();
284 void SerialPrint_VM_ENTRY_CTRLS();
287 void Set_VM_ENTRY_MSR_LOAD_COUNT(uint_t val);
288 uint_t Get_VM_ENTRY_MSR_LOAD_COUNT();
290 void SerialPrint_VM_ENTRY_MSR_LOAD_COUNT();
293 void Set_VM_ENTRY_INT_INFO_FIELD(uint_t val);
294 uint_t Get_VM_ENTRY_INT_INFO_FIELD();
296 void SerialPrint_VM_ENTRY_INT_INFO_FIELD();
299 void Set_VM_ENTRY_EXCEPTION_ERROR(uint_t val);
300 uint_t Get_VM_ENTRY_EXCEPTION_ERROR();
302 void SerialPrint_VM_ENTRY_EXCEPTION_ERROR();
305 void Set_VM_ENTRY_INSTR_LENGTH(uint_t val);
306 uint_t Get_VM_ENTRY_INSTR_LENGTH();
308 void SerialPrint_VM_ENTRY_INSTR_LENGTH();
311 void Set_TPR_THRESHOLD(uint_t val);
312 uint_t Get_TPR_THRESHOLD();
314 void SerialPrint_TPR_THRESHOLD();
317 void Set_VM_INSTR_ERROR(uint_t val);
318 uint_t Get_VM_INSTR_ERROR();
320 void SerialPrint_VM_INSTR_ERROR();
323 void Set_EXIT_REASON(uint_t val);
324 uint_t Get_EXIT_REASON();
326 void SerialPrint_EXIT_REASON();
329 void Set_VM_EXIT_INT_INFO(uint_t val);
330 uint_t Get_VM_EXIT_INT_INFO();
332 void SerialPrint_VM_EXIT_INT_INFO();
335 void Set_VM_EXIT_INT_ERROR(uint_t val);
336 uint_t Get_VM_EXIT_INT_ERROR();
338 void SerialPrint_VM_EXIT_INT_ERROR();
341 void Set_IDT_VECTOR_INFO(uint_t val);
342 uint_t Get_IDT_VECTOR_INFO();
344 void SerialPrint_IDT_VECTOR_INFO();
347 void Set_IDT_VECTOR_ERROR(uint_t val);
348 uint_t Get_IDT_VECTOR_ERROR();
350 void SerialPrint_IDT_VECTOR_ERROR();
353 void Set_VM_EXIT_INSTR_LENGTH(uint_t val);
354 uint_t Get_VM_EXIT_INSTR_LENGTH();
356 void SerialPrint_VM_EXIT_INSTR_LENGTH();
359 void Set_VMX_INSTR_INFO(uint_t val);
360 uint_t Get_VMX_INSTR_INFO();
362 void SerialPrint_VMX_INSTR_INFO();
365 void Set_GUEST_ES_LIMIT(uint_t val);
366 uint_t Get_GUEST_ES_LIMIT();
368 void SerialPrint_GUEST_ES_LIMIT();
371 void Set_GUEST_CS_LIMIT(uint_t val);
372 uint_t Get_GUEST_CS_LIMIT();
374 void SerialPrint_GUEST_CS_LIMIT();
377 void Set_GUEST_SS_LIMIT(uint_t val);
378 uint_t Get_GUEST_SS_LIMIT();
380 void SerialPrint_GUEST_SS_LIMIT();
383 void Set_GUEST_DS_LIMIT(uint_t val);
384 uint_t Get_GUEST_DS_LIMIT();
386 void SerialPrint_GUEST_DS_LIMIT();
389 void Set_GUEST_FS_LIMIT(uint_t val);
390 uint_t Get_GUEST_FS_LIMIT();
392 void SerialPrint_GUEST_FS_LIMIT();
395 void Set_GUEST_GS_LIMIT(uint_t val);
396 uint_t Get_GUEST_GS_LIMIT();
398 void SerialPrint_GUEST_GS_LIMIT();
401 void Set_GUEST_LDTR_LIMIT(uint_t val);
402 uint_t Get_GUEST_LDTR_LIMIT();
404 void SerialPrint_GUEST_LDTR_LIMIT();
407 void Set_GUEST_TR_LIMIT(uint_t val);
408 uint_t Get_GUEST_TR_LIMIT();
410 void SerialPrint_GUEST_TR_LIMIT();
413 void Set_GUEST_GDTR_LIMIT(uint_t val);
414 uint_t Get_GUEST_GDTR_LIMIT();
416 void SerialPrint_GUEST_GDTR_LIMIT();
419 void Set_GUEST_IDTR_LIMIT(uint_t val);
420 uint_t Get_GUEST_IDTR_LIMIT();
422 void SerialPrint_GUEST_IDTR_LIMIT();
425 void Set_GUEST_ES_ACCESS(uint_t val);
426 uint_t Get_GUEST_ES_ACCESS();
428 void SerialPrint_GUEST_ES_ACCESS();
431 void Set_GUEST_CS_ACCESS(uint_t val);
432 uint_t Get_GUEST_CS_ACCESS();
434 void SerialPrint_GUEST_CS_ACCESS();
437 void Set_GUEST_SS_ACCESS(uint_t val);
438 uint_t Get_GUEST_SS_ACCESS();
440 void SerialPrint_GUEST_SS_ACCESS();
443 void Set_GUEST_DS_ACCESS(uint_t val);
444 uint_t Get_GUEST_DS_ACCESS();
446 void SerialPrint_GUEST_DS_ACCESS();
449 void Set_GUEST_FS_ACCESS(uint_t val);
450 uint_t Get_GUEST_FS_ACCESS();
452 void SerialPrint_GUEST_FS_ACCESS();
455 void Set_GUEST_GS_ACCESS(uint_t val);
456 uint_t Get_GUEST_GS_ACCESS();
458 void SerialPrint_GUEST_GS_ACCESS();
461 void Set_GUEST_LDTR_ACCESS(uint_t val);
462 uint_t Get_GUEST_LDTR_ACCESS();
464 void SerialPrint_GUEST_LDTR_ACCESS();
467 void Set_GUEST_TR_ACCESS(uint_t val);
468 uint_t Get_GUEST_TR_ACCESS();
470 void SerialPrint_GUEST_TR_ACCESS();
473 void Set_GUEST_INT_STATE(uint_t val);
474 uint_t Get_GUEST_INT_STATE();
476 void SerialPrint_GUEST_INT_STATE();
479 void Set_GUEST_ACTIVITY_STATE(uint_t val);
480 uint_t Get_GUEST_ACTIVITY_STATE();
482 void SerialPrint_GUEST_ACTIVITY_STATE();
485 void Set_GUEST_SMBASE(uint_t val);
486 uint_t Get_GUEST_SMBASE();
488 void SerialPrint_GUEST_SMBASE();
491 void Set_GUEST_IA32_SYSENTER_CS(uint_t val);
492 uint_t Get_GUEST_IA32_SYSENTER_CS();
494 void SerialPrint_GUEST_IA32_SYSENTER_CS();
497 void Set_HOST_IA32_SYSENTER_CS(uint_t val);
498 uint_t Get_HOST_IA32_SYSENTER_CS();
500 void SerialPrint_HOST_IA32_SYSENTER_CS();
503 void Set_CR0_GUEST_HOST_MASK(uint_t val);
504 uint_t Get_CR0_GUEST_HOST_MASK();
506 void SerialPrint_CR0_GUEST_HOST_MASK();
509 void Set_CR4_GUEST_HOST_MASK(uint_t val);
510 uint_t Get_CR4_GUEST_HOST_MASK();
512 void SerialPrint_CR4_GUEST_HOST_MASK();
515 void Set_CR0_READ_SHADOW(uint_t val);
516 uint_t Get_CR0_READ_SHADOW();
518 void SerialPrint_CR0_READ_SHADOW();
521 void Set_CR4_READ_SHADOW(uint_t val);
522 uint_t Get_CR4_READ_SHADOW();
524 void SerialPrint_CR4_READ_SHADOW();
527 void Set_CR3_TARGET_VALUE_0(uint_t val);
528 uint_t Get_CR3_TARGET_VALUE_0();
530 void SerialPrint_CR3_TARGET_VALUE_0();
533 void Set_CR3_TARGET_VALUE_1(uint_t val);
534 uint_t Get_CR3_TARGET_VALUE_1();
536 void SerialPrint_CR3_TARGET_VALUE_1();
539 void Set_CR3_TARGET_VALUE_2(uint_t val);
540 uint_t Get_CR3_TARGET_VALUE_2();
542 void SerialPrint_CR3_TARGET_VALUE_2();
545 void Set_CR3_TARGET_VALUE_3(uint_t val);
546 uint_t Get_CR3_TARGET_VALUE_3();
548 void SerialPrint_CR3_TARGET_VALUE_3();
551 void Set_EXIT_QUALIFICATION(uint_t val);
552 uint_t Get_EXIT_QUALIFICATION();
554 void SerialPrint_EXIT_QUALIFICATION();
557 void Set_IO_RCX(uint_t val);
560 void SerialPrint_IO_RCX();
563 void Set_IO_RSI(uint_t val);
566 void SerialPrint_IO_RSI();
569 void Set_IO_RDI(uint_t val);
572 void SerialPrint_IO_RDI();
575 void Set_IO_RIP(uint_t val);
578 void SerialPrint_IO_RIP();
581 void Set_GUEST_LINEAR_ADDR(uint_t val);
582 uint_t Get_GUEST_LINEAR_ADDR();
584 void SerialPrint_GUEST_LINEAR_ADDR();
587 void Set_GUEST_CR0(uint_t val);
588 uint_t Get_GUEST_CR0();
590 void SerialPrint_GUEST_CR0();
593 void Set_GUEST_CR3(uint_t val);
594 uint_t Get_GUEST_CR3();
596 void SerialPrint_GUEST_CR3();
599 void Set_GUEST_CR4(uint_t val);
600 uint_t Get_GUEST_CR4();
602 void SerialPrint_GUEST_CR4();
605 void Set_GUEST_ES_BASE(uint_t val);
606 uint_t Get_GUEST_ES_BASE();
608 void SerialPrint_GUEST_ES_BASE();
611 void Set_GUEST_CS_BASE(uint_t val);
612 uint_t Get_GUEST_CS_BASE();
614 void SerialPrint_GUEST_CS_BASE();
617 void Set_GUEST_SS_BASE(uint_t val);
618 uint_t Get_GUEST_SS_BASE();
620 void SerialPrint_GUEST_SS_BASE();
623 void Set_GUEST_DS_BASE(uint_t val);
624 uint_t Get_GUEST_DS_BASE();
626 void SerialPrint_GUEST_DS_BASE();
629 void Set_GUEST_FS_BASE(uint_t val);
630 uint_t Get_GUEST_FS_BASE();
632 void SerialPrint_GUEST_FS_BASE();
635 void Set_GUEST_GS_BASE(uint_t val);
636 uint_t Get_GUEST_GS_BASE();
638 void SerialPrint_GUEST_GS_BASE();
641 void Set_GUEST_LDTR_BASE(uint_t val);
642 uint_t Get_GUEST_LDTR_BASE();
644 void SerialPrint_GUEST_LDTR_BASE();
647 void Set_GUEST_TR_BASE(uint_t val);
648 uint_t Get_GUEST_TR_BASE();
650 void SerialPrint_GUEST_TR_BASE();
653 void Set_GUEST_GDTR_BASE(uint_t val);
654 uint_t Get_GUEST_GDTR_BASE();
656 void SerialPrint_GUEST_GDTR_BASE();
659 void Set_GUEST_IDTR_BASE(uint_t val);
660 uint_t Get_GUEST_IDTR_BASE();
662 void SerialPrint_GUEST_IDTR_BASE();
665 void Set_GUEST_DR7(uint_t val);
666 uint_t Get_GUEST_DR7();
668 void SerialPrint_GUEST_DR7();
671 void Set_GUEST_RSP(uint_t val);
672 uint_t Get_GUEST_RSP();
674 void SerialPrint_GUEST_RSP();
677 void Set_GUEST_RIP(uint_t val);
678 uint_t Get_GUEST_RIP();
680 void SerialPrint_GUEST_RIP();
683 void Set_GUEST_RFLAGS(uint_t val);
684 uint_t Get_GUEST_RFLAGS();
686 void SerialPrint_GUEST_RFLAGS();
689 void Set_GUEST_PENDING_DEBUG_EXCS(uint_t val);
690 uint_t Get_GUEST_PENDING_DEBUG_EXCS();
692 void SerialPrint_GUEST_PENDING_DEBUG_EXCS();
695 void Set_GUEST_IA32_SYSENTER_ESP(uint_t val);
696 uint_t Get_GUEST_IA32_SYSENTER_ESP();
698 void SerialPrint_GUEST_IA32_SYSENTER_ESP();
701 void Set_GUEST_IA32_SYSENTER_EIP(uint_t val);
702 uint_t Get_GUEST_IA32_SYSENTER_EIP();
704 void SerialPrint_GUEST_IA32_SYSENTER_EIP();
707 void Set_HOST_CR0(uint_t val);
708 uint_t Get_HOST_CR0();
710 void SerialPrint_HOST_CR0();
713 void Set_HOST_CR3(uint_t val);
714 uint_t Get_HOST_CR3();
716 void SerialPrint_HOST_CR3();
719 void Set_HOST_CR4(uint_t val);
720 uint_t Get_HOST_CR4();
722 void SerialPrint_HOST_CR4();
725 void Set_HOST_FS_BASE(uint_t val);
726 uint_t Get_HOST_FS_BASE();
728 void SerialPrint_HOST_FS_BASE();
731 void Set_HOST_GS_BASE(uint_t val);
732 uint_t Get_HOST_GS_BASE();
734 void SerialPrint_HOST_GS_BASE();
737 void Set_HOST_TR_BASE(uint_t val);
738 uint_t Get_HOST_TR_BASE();
740 void SerialPrint_HOST_TR_BASE();
743 void Set_HOST_GDTR_BASE(uint_t val);
744 uint_t Get_HOST_GDTR_BASE();
746 void SerialPrint_HOST_GDTR_BASE();
749 void Set_HOST_IDTR_BASE(uint_t val);
750 uint_t Get_HOST_IDTR_BASE();
752 void SerialPrint_HOST_IDTR_BASE();
755 void Set_HOST_IA32_SYSENTER_ESP(uint_t val);
756 uint_t Get_HOST_IA32_SYSENTER_ESP();
758 void SerialPrint_HOST_IA32_SYSENTER_ESP();
761 void Set_HOST_IA32_SYSENTER_EIP(uint_t val);
762 uint_t Get_HOST_IA32_SYSENTER_EIP();
764 void SerialPrint_HOST_IA32_SYSENTER_EIP();
767 void Set_HOST_RSP(uint_t val);
768 uint_t Get_HOST_RSP();
770 void SerialPrint_HOST_RSP();
773 void Set_HOST_RIP(uint_t val);
774 uint_t Get_HOST_RIP();
776 void SerialPrint_HOST_RIP();
778 void SerialPrint_VMCS_ALL();