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.


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