Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


fa941b46f098bf2b568e5b48f9746a25dd3caa82
[palacios.git] / palacios / include / palacios / vmcs_gen.h
1 /* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
2 #ifndef __VMCS_GEN__
3 #define __VMCS_GEN__
4
5 #ifdef __V3VEE__
6
7
8 #include <palacios/vmcs.h>
9 #include <palacios/vmm.h>
10
11 void    Set_VMCS_GUEST_ES_SELECTOR(uint_t val);
12 uint_t  Get_VMCS_GUEST_ES_SELECTOR();
13
14 void    PrintTrace_VMCS_GUEST_ES_SELECTOR();
15
16
17 void    Set_VMCS_GUEST_CS_SELECTOR(uint_t val);
18 uint_t  Get_VMCS_GUEST_CS_SELECTOR();
19
20 void    PrintTrace_VMCS_GUEST_CS_SELECTOR();
21
22
23 void    Set_VMCS_GUEST_SS_SELECTOR(uint_t val);
24 uint_t  Get_VMCS_GUEST_SS_SELECTOR();
25
26 void    PrintTrace_VMCS_GUEST_SS_SELECTOR();
27
28
29 void    Set_VMCS_GUEST_DS_SELECTOR(uint_t val);
30 uint_t  Get_VMCS_GUEST_DS_SELECTOR();
31
32 void    PrintTrace_VMCS_GUEST_DS_SELECTOR();
33
34
35 void    Set_VMCS_GUEST_FS_SELECTOR(uint_t val);
36 uint_t  Get_VMCS_GUEST_FS_SELECTOR();
37
38 void    PrintTrace_VMCS_GUEST_FS_SELECTOR();
39
40
41 void    Set_VMCS_GUEST_GS_SELECTOR(uint_t val);
42 uint_t  Get_VMCS_GUEST_GS_SELECTOR();
43
44 void    PrintTrace_VMCS_GUEST_GS_SELECTOR();
45
46
47 void    Set_VMCS_GUEST_LDTR_SELECTOR(uint_t val);
48 uint_t  Get_VMCS_GUEST_LDTR_SELECTOR();
49
50 void    PrintTrace_VMCS_GUEST_LDTR_SELECTOR();
51
52
53 void    Set_VMCS_GUEST_TR_SELECTOR(uint_t val);
54 uint_t  Get_VMCS_GUEST_TR_SELECTOR();
55
56 void    PrintTrace_VMCS_GUEST_TR_SELECTOR();
57
58
59 void    Set_VMCS_HOST_ES_SELECTOR(uint_t val);
60 uint_t  Get_VMCS_HOST_ES_SELECTOR();
61
62 void    PrintTrace_VMCS_HOST_ES_SELECTOR();
63
64
65 void    Set_VMCS_HOST_CS_SELECTOR(uint_t val);
66 uint_t  Get_VMCS_HOST_CS_SELECTOR();
67
68 void    PrintTrace_VMCS_HOST_CS_SELECTOR();
69
70
71 void    Set_VMCS_HOST_SS_SELECTOR(uint_t val);
72 uint_t  Get_VMCS_HOST_SS_SELECTOR();
73
74 void    PrintTrace_VMCS_HOST_SS_SELECTOR();
75
76
77 void    Set_VMCS_HOST_DS_SELECTOR(uint_t val);
78 uint_t  Get_VMCS_HOST_DS_SELECTOR();
79
80 void    PrintTrace_VMCS_HOST_DS_SELECTOR();
81
82
83 void    Set_VMCS_HOST_FS_SELECTOR(uint_t val);
84 uint_t  Get_VMCS_HOST_FS_SELECTOR();
85
86 void    PrintTrace_VMCS_HOST_FS_SELECTOR();
87
88
89 void    Set_VMCS_HOST_GS_SELECTOR(uint_t val);
90 uint_t  Get_VMCS_HOST_GS_SELECTOR();
91
92 void    PrintTrace_VMCS_HOST_GS_SELECTOR();
93
94
95 void    Set_VMCS_HOST_TR_SELECTOR(uint_t val);
96 uint_t  Get_VMCS_HOST_TR_SELECTOR();
97
98 void    PrintTrace_VMCS_HOST_TR_SELECTOR();
99
100
101 void    Set_IO_BITMAP_A_ADDR(uint_t val);
102 uint_t  Get_IO_BITMAP_A_ADDR();
103
104 void    PrintTrace_IO_BITMAP_A_ADDR();
105
106
107 void    Set_IO_BITMAP_A_ADDR_HIGH(uint_t val);
108 uint_t  Get_IO_BITMAP_A_ADDR_HIGH();
109
110 void    PrintTrace_IO_BITMAP_A_ADDR_HIGH();
111
112
113 void    Set_IO_BITMAP_B_ADDR(uint_t val);
114 uint_t  Get_IO_BITMAP_B_ADDR();
115
116 void    PrintTrace_IO_BITMAP_B_ADDR();
117
118
119 void    Set_IO_BITMAP_B_ADDR_HIGH(uint_t val);
120 uint_t  Get_IO_BITMAP_B_ADDR_HIGH();
121
122 void    PrintTrace_IO_BITMAP_B_ADDR_HIGH();
123
124
125 void    Set_MSR_BITMAPS(uint_t val);
126 uint_t  Get_MSR_BITMAPS();
127
128 void    PrintTrace_MSR_BITMAPS();
129
130
131 void    Set_MSR_BITMAPS_HIGH(uint_t val);
132 uint_t  Get_MSR_BITMAPS_HIGH();
133
134 void    PrintTrace_MSR_BITMAPS_HIGH();
135
136
137 void    Set_VM_EXIT_MSR_STORE_ADDR(uint_t val);
138 uint_t  Get_VM_EXIT_MSR_STORE_ADDR();
139
140 void    PrintTrace_VM_EXIT_MSR_STORE_ADDR();
141
142
143 void    Set_VM_EXIT_MSR_STORE_ADDR_HIGH(uint_t val);
144 uint_t  Get_VM_EXIT_MSR_STORE_ADDR_HIGH();
145
146 void    PrintTrace_VM_EXIT_MSR_STORE_ADDR_HIGH();
147
148
149 void    Set_VM_EXIT_MSR_LOAD_ADDR(uint_t val);
150 uint_t  Get_VM_EXIT_MSR_LOAD_ADDR();
151
152 void    PrintTrace_VM_EXIT_MSR_LOAD_ADDR();
153
154
155 void    Set_VM_EXIT_MSR_LOAD_ADDR_HIGH(uint_t val);
156 uint_t  Get_VM_EXIT_MSR_LOAD_ADDR_HIGH();
157
158 void    PrintTrace_VM_EXIT_MSR_LOAD_ADDR_HIGH();
159
160
161 void    Set_VM_ENTRY_MSR_LOAD_ADDR(uint_t val);
162 uint_t  Get_VM_ENTRY_MSR_LOAD_ADDR();
163
164 void    PrintTrace_VM_ENTRY_MSR_LOAD_ADDR();
165
166
167 void    Set_VM_ENTRY_MSR_LOAD_ADDR_HIGH(uint_t val);
168 uint_t  Get_VM_ENTRY_MSR_LOAD_ADDR_HIGH();
169
170 void    PrintTrace_VM_ENTRY_MSR_LOAD_ADDR_HIGH();
171
172
173 void    Set_VMCS_EXEC_PTR(uint_t val);
174 uint_t  Get_VMCS_EXEC_PTR();
175
176 void    PrintTrace_VMCS_EXEC_PTR();
177
178
179 void    Set_VMCS_EXEC_PTR_HIGH(uint_t val);
180 uint_t  Get_VMCS_EXEC_PTR_HIGH();
181
182 void    PrintTrace_VMCS_EXEC_PTR_HIGH();
183
184
185 void    Set_TSC_OFFSET(uint_t val);
186 uint_t  Get_TSC_OFFSET();
187
188 void    PrintTrace_TSC_OFFSET();
189
190
191 void    Set_TSC_OFFSET_HIGH(uint_t val);
192 uint_t  Get_TSC_OFFSET_HIGH();
193
194 void    PrintTrace_TSC_OFFSET_HIGH();
195
196
197 void    Set_VIRT_APIC_PAGE_ADDR(uint_t val);
198 uint_t  Get_VIRT_APIC_PAGE_ADDR();
199
200 void    PrintTrace_VIRT_APIC_PAGE_ADDR();
201
202
203 void    Set_VIRT_APIC_PAGE_ADDR_HIGH(uint_t val);
204 uint_t  Get_VIRT_APIC_PAGE_ADDR_HIGH();
205
206 void    PrintTrace_VIRT_APIC_PAGE_ADDR_HIGH();
207
208
209 void    Set_VMCS_LINK_PTR(uint_t val);
210 uint_t  Get_VMCS_LINK_PTR();
211
212 void    PrintTrace_VMCS_LINK_PTR();
213
214
215 void    Set_VMCS_LINK_PTR_HIGH(uint_t val);
216 uint_t  Get_VMCS_LINK_PTR_HIGH();
217
218 void    PrintTrace_VMCS_LINK_PTR_HIGH();
219
220
221 void    Set_GUEST_IA32_DEBUGCTL(uint_t val);
222 uint_t  Get_GUEST_IA32_DEBUGCTL();
223
224 void    PrintTrace_GUEST_IA32_DEBUGCTL();
225
226
227 void    Set_GUEST_IA32_DEBUGCTL_HIGH(uint_t val);
228 uint_t  Get_GUEST_IA32_DEBUGCTL_HIGH();
229
230 void    PrintTrace_GUEST_IA32_DEBUGCTL_HIGH();
231
232
233 void    Set_PIN_VM_EXEC_CTRLS(uint_t val);
234 uint_t  Get_PIN_VM_EXEC_CTRLS();
235
236 void    PrintTrace_PIN_VM_EXEC_CTRLS();
237
238
239 void    Set_PROC_VM_EXEC_CTRLS(uint_t val);
240 uint_t  Get_PROC_VM_EXEC_CTRLS();
241
242 void    PrintTrace_PROC_VM_EXEC_CTRLS();
243
244
245 void    Set_EXCEPTION_BITMAP(uint_t val);
246 uint_t  Get_EXCEPTION_BITMAP();
247
248 void    PrintTrace_EXCEPTION_BITMAP();
249
250
251 void    Set_PAGE_FAULT_ERROR_MASK(uint_t val);
252 uint_t  Get_PAGE_FAULT_ERROR_MASK();
253
254 void    PrintTrace_PAGE_FAULT_ERROR_MASK();
255
256
257 void    Set_PAGE_FAULT_ERROR_MATCH(uint_t val);
258 uint_t  Get_PAGE_FAULT_ERROR_MATCH();
259
260 void    PrintTrace_PAGE_FAULT_ERROR_MATCH();
261
262
263 void    Set_CR3_TARGET_COUNT(uint_t val);
264 uint_t  Get_CR3_TARGET_COUNT();
265
266 void    PrintTrace_CR3_TARGET_COUNT();
267
268
269 void    Set_VM_EXIT_CTRLS(uint_t val);
270 uint_t  Get_VM_EXIT_CTRLS();
271
272 void    PrintTrace_VM_EXIT_CTRLS();
273
274
275 void    Set_VM_EXIT_MSR_STORE_COUNT(uint_t val);
276 uint_t  Get_VM_EXIT_MSR_STORE_COUNT();
277
278 void    PrintTrace_VM_EXIT_MSR_STORE_COUNT();
279
280
281 void    Set_VM_EXIT_MSR_LOAD_COUNT(uint_t val);
282 uint_t  Get_VM_EXIT_MSR_LOAD_COUNT();
283
284 void    PrintTrace_VM_EXIT_MSR_LOAD_COUNT();
285
286
287 void    Set_VM_ENTRY_CTRLS(uint_t val);
288 uint_t  Get_VM_ENTRY_CTRLS();
289
290 void    PrintTrace_VM_ENTRY_CTRLS();
291
292
293 void    Set_VM_ENTRY_MSR_LOAD_COUNT(uint_t val);
294 uint_t  Get_VM_ENTRY_MSR_LOAD_COUNT();
295
296 void    PrintTrace_VM_ENTRY_MSR_LOAD_COUNT();
297
298
299 void    Set_VM_ENTRY_INT_INFO_FIELD(uint_t val);
300 uint_t  Get_VM_ENTRY_INT_INFO_FIELD();
301
302 void    PrintTrace_VM_ENTRY_INT_INFO_FIELD();
303
304
305 void    Set_VM_ENTRY_EXCEPTION_ERROR(uint_t val);
306 uint_t  Get_VM_ENTRY_EXCEPTION_ERROR();
307
308 void    PrintTrace_VM_ENTRY_EXCEPTION_ERROR();
309
310
311 void    Set_VM_ENTRY_INSTR_LENGTH(uint_t val);
312 uint_t  Get_VM_ENTRY_INSTR_LENGTH();
313
314 void    PrintTrace_VM_ENTRY_INSTR_LENGTH();
315
316
317 void    Set_TPR_THRESHOLD(uint_t val);
318 uint_t  Get_TPR_THRESHOLD();
319
320 void    PrintTrace_TPR_THRESHOLD();
321
322
323 void    Set_VM_INSTR_ERROR(uint_t val);
324 uint_t  Get_VM_INSTR_ERROR();
325
326 void    PrintTrace_VM_INSTR_ERROR();
327
328
329 void    Set_EXIT_REASON(uint_t val);
330 uint_t  Get_EXIT_REASON();
331
332 void    PrintTrace_EXIT_REASON();
333
334
335 void    Set_VM_EXIT_INT_INFO(uint_t val);
336 uint_t  Get_VM_EXIT_INT_INFO();
337
338 void    PrintTrace_VM_EXIT_INT_INFO();
339
340
341 void    Set_VM_EXIT_INT_ERROR(uint_t val);
342 uint_t  Get_VM_EXIT_INT_ERROR();
343
344 void    PrintTrace_VM_EXIT_INT_ERROR();
345
346
347 void    Set_IDT_VECTOR_INFO(uint_t val);
348 uint_t  Get_IDT_VECTOR_INFO();
349
350 void    PrintTrace_IDT_VECTOR_INFO();
351
352
353 void    Set_IDT_VECTOR_ERROR(uint_t val);
354 uint_t  Get_IDT_VECTOR_ERROR();
355
356 void    PrintTrace_IDT_VECTOR_ERROR();
357
358
359 void    Set_VM_EXIT_INSTR_LENGTH(uint_t val);
360 uint_t  Get_VM_EXIT_INSTR_LENGTH();
361
362 void    PrintTrace_VM_EXIT_INSTR_LENGTH();
363
364
365 void    Set_VMX_INSTR_INFO(uint_t val);
366 uint_t  Get_VMX_INSTR_INFO();
367
368 void    PrintTrace_VMX_INSTR_INFO();
369
370
371 void    Set_GUEST_ES_LIMIT(uint_t val);
372 uint_t  Get_GUEST_ES_LIMIT();
373
374 void    PrintTrace_GUEST_ES_LIMIT();
375
376
377 void    Set_GUEST_CS_LIMIT(uint_t val);
378 uint_t  Get_GUEST_CS_LIMIT();
379
380 void    PrintTrace_GUEST_CS_LIMIT();
381
382
383 void    Set_GUEST_SS_LIMIT(uint_t val);
384 uint_t  Get_GUEST_SS_LIMIT();
385
386 void    PrintTrace_GUEST_SS_LIMIT();
387
388
389 void    Set_GUEST_DS_LIMIT(uint_t val);
390 uint_t  Get_GUEST_DS_LIMIT();
391
392 void    PrintTrace_GUEST_DS_LIMIT();
393
394
395 void    Set_GUEST_FS_LIMIT(uint_t val);
396 uint_t  Get_GUEST_FS_LIMIT();
397
398 void    PrintTrace_GUEST_FS_LIMIT();
399
400
401 void    Set_GUEST_GS_LIMIT(uint_t val);
402 uint_t  Get_GUEST_GS_LIMIT();
403
404 void    PrintTrace_GUEST_GS_LIMIT();
405
406
407 void    Set_GUEST_LDTR_LIMIT(uint_t val);
408 uint_t  Get_GUEST_LDTR_LIMIT();
409
410 void    PrintTrace_GUEST_LDTR_LIMIT();
411
412
413 void    Set_GUEST_TR_LIMIT(uint_t val);
414 uint_t  Get_GUEST_TR_LIMIT();
415
416 void    PrintTrace_GUEST_TR_LIMIT();
417
418
419 void    Set_GUEST_GDTR_LIMIT(uint_t val);
420 uint_t  Get_GUEST_GDTR_LIMIT();
421
422 void    PrintTrace_GUEST_GDTR_LIMIT();
423
424
425 void    Set_GUEST_IDTR_LIMIT(uint_t val);
426 uint_t  Get_GUEST_IDTR_LIMIT();
427
428 void    PrintTrace_GUEST_IDTR_LIMIT();
429
430
431 void    Set_GUEST_ES_ACCESS(uint_t val);
432 uint_t  Get_GUEST_ES_ACCESS();
433
434 void    PrintTrace_GUEST_ES_ACCESS();
435
436
437 void    Set_GUEST_CS_ACCESS(uint_t val);
438 uint_t  Get_GUEST_CS_ACCESS();
439
440 void    PrintTrace_GUEST_CS_ACCESS();
441
442
443 void    Set_GUEST_SS_ACCESS(uint_t val);
444 uint_t  Get_GUEST_SS_ACCESS();
445
446 void    PrintTrace_GUEST_SS_ACCESS();
447
448
449 void    Set_GUEST_DS_ACCESS(uint_t val);
450 uint_t  Get_GUEST_DS_ACCESS();
451
452 void    PrintTrace_GUEST_DS_ACCESS();
453
454
455 void    Set_GUEST_FS_ACCESS(uint_t val);
456 uint_t  Get_GUEST_FS_ACCESS();
457
458 void    PrintTrace_GUEST_FS_ACCESS();
459
460
461 void    Set_GUEST_GS_ACCESS(uint_t val);
462 uint_t  Get_GUEST_GS_ACCESS();
463
464 void    PrintTrace_GUEST_GS_ACCESS();
465
466
467 void    Set_GUEST_LDTR_ACCESS(uint_t val);
468 uint_t  Get_GUEST_LDTR_ACCESS();
469
470 void    PrintTrace_GUEST_LDTR_ACCESS();
471
472
473 void    Set_GUEST_TR_ACCESS(uint_t val);
474 uint_t  Get_GUEST_TR_ACCESS();
475
476 void    PrintTrace_GUEST_TR_ACCESS();
477
478
479 void    Set_GUEST_INT_STATE(uint_t val);
480 uint_t  Get_GUEST_INT_STATE();
481
482 void    PrintTrace_GUEST_INT_STATE();
483
484
485 void    Set_GUEST_ACTIVITY_STATE(uint_t val);
486 uint_t  Get_GUEST_ACTIVITY_STATE();
487
488 void    PrintTrace_GUEST_ACTIVITY_STATE();
489
490
491 void    Set_GUEST_SMBASE(uint_t val);
492 uint_t  Get_GUEST_SMBASE();
493
494 void    PrintTrace_GUEST_SMBASE();
495
496
497 void    Set_GUEST_IA32_SYSENTER_CS(uint_t val);
498 uint_t  Get_GUEST_IA32_SYSENTER_CS();
499
500 void    PrintTrace_GUEST_IA32_SYSENTER_CS();
501
502
503 void    Set_HOST_IA32_SYSENTER_CS(uint_t val);
504 uint_t  Get_HOST_IA32_SYSENTER_CS();
505
506 void    PrintTrace_HOST_IA32_SYSENTER_CS();
507
508
509 void    Set_CR0_GUEST_HOST_MASK(uint_t val);
510 uint_t  Get_CR0_GUEST_HOST_MASK();
511
512 void    PrintTrace_CR0_GUEST_HOST_MASK();
513
514
515 void    Set_CR4_GUEST_HOST_MASK(uint_t val);
516 uint_t  Get_CR4_GUEST_HOST_MASK();
517
518 void    PrintTrace_CR4_GUEST_HOST_MASK();
519
520
521 void    Set_CR0_READ_SHADOW(uint_t val);
522 uint_t  Get_CR0_READ_SHADOW();
523
524 void    PrintTrace_CR0_READ_SHADOW();
525
526
527 void    Set_CR4_READ_SHADOW(uint_t val);
528 uint_t  Get_CR4_READ_SHADOW();
529
530 void    PrintTrace_CR4_READ_SHADOW();
531
532
533 void    Set_CR3_TARGET_VALUE_0(uint_t val);
534 uint_t  Get_CR3_TARGET_VALUE_0();
535
536 void    PrintTrace_CR3_TARGET_VALUE_0();
537
538
539 void    Set_CR3_TARGET_VALUE_1(uint_t val);
540 uint_t  Get_CR3_TARGET_VALUE_1();
541
542 void    PrintTrace_CR3_TARGET_VALUE_1();
543
544
545 void    Set_CR3_TARGET_VALUE_2(uint_t val);
546 uint_t  Get_CR3_TARGET_VALUE_2();
547
548 void    PrintTrace_CR3_TARGET_VALUE_2();
549
550
551 void    Set_CR3_TARGET_VALUE_3(uint_t val);
552 uint_t  Get_CR3_TARGET_VALUE_3();
553
554 void    PrintTrace_CR3_TARGET_VALUE_3();
555
556
557 void    Set_EXIT_QUALIFICATION(uint_t val);
558 uint_t  Get_EXIT_QUALIFICATION();
559
560 void    PrintTrace_EXIT_QUALIFICATION();
561
562
563 void    Set_IO_RCX(uint_t val);
564 uint_t  Get_IO_RCX();
565
566 void    PrintTrace_IO_RCX();
567
568
569 void    Set_IO_RSI(uint_t val);
570 uint_t  Get_IO_RSI();
571
572 void    PrintTrace_IO_RSI();
573
574
575 void    Set_IO_RDI(uint_t val);
576 uint_t  Get_IO_RDI();
577
578 void    PrintTrace_IO_RDI();
579
580
581 void    Set_IO_RIP(uint_t val);
582 uint_t  Get_IO_RIP();
583
584 void    PrintTrace_IO_RIP();
585
586
587 void    Set_GUEST_LINEAR_ADDR(uint_t val);
588 uint_t  Get_GUEST_LINEAR_ADDR();
589
590 void    PrintTrace_GUEST_LINEAR_ADDR();
591
592
593 void    Set_GUEST_CR0(uint_t val);
594 uint_t  Get_GUEST_CR0();
595
596 void    PrintTrace_GUEST_CR0();
597
598
599 void    Set_GUEST_CR3(uint_t val);
600 uint_t  Get_GUEST_CR3();
601
602 void    PrintTrace_GUEST_CR3();
603
604
605 void    Set_GUEST_CR4(uint_t val);
606 uint_t  Get_GUEST_CR4();
607
608 void    PrintTrace_GUEST_CR4();
609
610
611 void    Set_GUEST_ES_BASE(uint_t val);
612 uint_t  Get_GUEST_ES_BASE();
613
614 void    PrintTrace_GUEST_ES_BASE();
615
616
617 void    Set_GUEST_CS_BASE(uint_t val);
618 uint_t  Get_GUEST_CS_BASE();
619
620 void    PrintTrace_GUEST_CS_BASE();
621
622
623 void    Set_GUEST_SS_BASE(uint_t val);
624 uint_t  Get_GUEST_SS_BASE();
625
626 void    PrintTrace_GUEST_SS_BASE();
627
628
629 void    Set_GUEST_DS_BASE(uint_t val);
630 uint_t  Get_GUEST_DS_BASE();
631
632 void    PrintTrace_GUEST_DS_BASE();
633
634
635 void    Set_GUEST_FS_BASE(uint_t val);
636 uint_t  Get_GUEST_FS_BASE();
637
638 void    PrintTrace_GUEST_FS_BASE();
639
640
641 void    Set_GUEST_GS_BASE(uint_t val);
642 uint_t  Get_GUEST_GS_BASE();
643
644 void    PrintTrace_GUEST_GS_BASE();
645
646
647 void    Set_GUEST_LDTR_BASE(uint_t val);
648 uint_t  Get_GUEST_LDTR_BASE();
649
650 void    PrintTrace_GUEST_LDTR_BASE();
651
652
653 void    Set_GUEST_TR_BASE(uint_t val);
654 uint_t  Get_GUEST_TR_BASE();
655
656 void    PrintTrace_GUEST_TR_BASE();
657
658
659 void    Set_GUEST_GDTR_BASE(uint_t val);
660 uint_t  Get_GUEST_GDTR_BASE();
661
662 void    PrintTrace_GUEST_GDTR_BASE();
663
664
665 void    Set_GUEST_IDTR_BASE(uint_t val);
666 uint_t  Get_GUEST_IDTR_BASE();
667
668 void    PrintTrace_GUEST_IDTR_BASE();
669
670
671 void    Set_GUEST_DR7(uint_t val);
672 uint_t  Get_GUEST_DR7();
673
674 void    PrintTrace_GUEST_DR7();
675
676
677 void    Set_GUEST_RSP(uint_t val);
678 uint_t  Get_GUEST_RSP();
679
680 void    PrintTrace_GUEST_RSP();
681
682
683 void    Set_GUEST_RIP(uint_t val);
684 uint_t  Get_GUEST_RIP();
685
686 void    PrintTrace_GUEST_RIP();
687
688
689 void    Set_GUEST_RFLAGS(uint_t val);
690 uint_t  Get_GUEST_RFLAGS();
691
692 void    PrintTrace_GUEST_RFLAGS();
693
694
695 void    Set_GUEST_PENDING_DEBUG_EXCS(uint_t val);
696 uint_t  Get_GUEST_PENDING_DEBUG_EXCS();
697
698 void    PrintTrace_GUEST_PENDING_DEBUG_EXCS();
699
700
701 void    Set_GUEST_IA32_SYSENTER_ESP(uint_t val);
702 uint_t  Get_GUEST_IA32_SYSENTER_ESP();
703
704 void    PrintTrace_GUEST_IA32_SYSENTER_ESP();
705
706
707 void    Set_GUEST_IA32_SYSENTER_EIP(uint_t val);
708 uint_t  Get_GUEST_IA32_SYSENTER_EIP();
709
710 void    PrintTrace_GUEST_IA32_SYSENTER_EIP();
711
712
713 void    Set_HOST_CR0(uint_t val);
714 uint_t  Get_HOST_CR0();
715
716 void    PrintTrace_HOST_CR0();
717
718
719 void    Set_HOST_CR3(uint_t val);
720 uint_t  Get_HOST_CR3();
721
722 void    PrintTrace_HOST_CR3();
723
724
725 void    Set_HOST_CR4(uint_t val);
726 uint_t  Get_HOST_CR4();
727
728 void    PrintTrace_HOST_CR4();
729
730
731 void    Set_HOST_FS_BASE(uint_t val);
732 uint_t  Get_HOST_FS_BASE();
733
734 void    PrintTrace_HOST_FS_BASE();
735
736
737 void    Set_HOST_GS_BASE(uint_t val);
738 uint_t  Get_HOST_GS_BASE();
739
740 void    PrintTrace_HOST_GS_BASE();
741
742
743 void    Set_HOST_TR_BASE(uint_t val);
744 uint_t  Get_HOST_TR_BASE();
745
746 void    PrintTrace_HOST_TR_BASE();
747
748
749 void    Set_HOST_GDTR_BASE(uint_t val);
750 uint_t  Get_HOST_GDTR_BASE();
751
752 void    PrintTrace_HOST_GDTR_BASE();
753
754
755 void    Set_HOST_IDTR_BASE(uint_t val);
756 uint_t  Get_HOST_IDTR_BASE();
757
758 void    PrintTrace_HOST_IDTR_BASE();
759
760
761 void    Set_HOST_IA32_SYSENTER_ESP(uint_t val);
762 uint_t  Get_HOST_IA32_SYSENTER_ESP();
763
764 void    PrintTrace_HOST_IA32_SYSENTER_ESP();
765
766
767 void    Set_HOST_IA32_SYSENTER_EIP(uint_t val);
768 uint_t  Get_HOST_IA32_SYSENTER_EIP();
769
770 void    PrintTrace_HOST_IA32_SYSENTER_EIP();
771
772
773 void    Set_HOST_RSP(uint_t val);
774 uint_t  Get_HOST_RSP();
775
776 void    PrintTrace_HOST_RSP();
777
778
779 void    Set_HOST_RIP(uint_t val);
780 uint_t  Get_HOST_RIP();
781
782 void    PrintTrace_HOST_RIP();
783
784 void PrintTrace_VMCS_ALL();
785
786
787 #endif // !__V3VEE
788
789 #endif
790
791
792