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