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.


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