palacios/include/geekos/vmcs_gen.h

   1 #ifndef vmcs_gen
   2 #define vmcs_gen
   3 #include <geekos/vmcs.h>
   4
   5 void    Set_VMCS_GUEST_ES_SELECTOR(uint_t val);
   6 uint_t  Get_VMCS_GUEST_ES_SELECTOR();
   7
   8 void    SerialPrint_VMCS_GUEST_ES_SELECTOR();
   9
  10
  11 void    Set_VMCS_GUEST_CS_SELECTOR(uint_t val);
  12 uint_t  Get_VMCS_GUEST_CS_SELECTOR();
  13
  14 void    SerialPrint_VMCS_GUEST_CS_SELECTOR();
  15
  16
  17 void    Set_VMCS_GUEST_SS_SELECTOR(uint_t val);
  18 uint_t  Get_VMCS_GUEST_SS_SELECTOR();
  19
  20 void    SerialPrint_VMCS_GUEST_SS_SELECTOR();
  21
  22
  23 void    Set_VMCS_GUEST_DS_SELECTOR(uint_t val);
  24 uint_t  Get_VMCS_GUEST_DS_SELECTOR();
  25
  26 void    SerialPrint_VMCS_GUEST_DS_SELECTOR();
  27
  28
  29 void    Set_VMCS_GUEST_FS_SELECTOR(uint_t val);
  30 uint_t  Get_VMCS_GUEST_FS_SELECTOR();
  31
  32 void    SerialPrint_VMCS_GUEST_FS_SELECTOR();
  33
  34
  35 void    Set_VMCS_GUEST_GS_SELECTOR(uint_t val);
  36 uint_t  Get_VMCS_GUEST_GS_SELECTOR();
  37
  38 void    SerialPrint_VMCS_GUEST_GS_SELECTOR();
  39
  40
  41 void    Set_VMCS_GUEST_LDTR_SELECTOR(uint_t val);
  42 uint_t  Get_VMCS_GUEST_LDTR_SELECTOR();
  43
  44 void    SerialPrint_VMCS_GUEST_LDTR_SELECTOR();
  45
  46
  47 void    Set_VMCS_GUEST_TR_SELECTOR(uint_t val);
  48 uint_t  Get_VMCS_GUEST_TR_SELECTOR();
  49
  50 void    SerialPrint_VMCS_GUEST_TR_SELECTOR();
  51
  52
  53 void    Set_VMCS_HOST_ES_SELECTOR(uint_t val);
  54 uint_t  Get_VMCS_HOST_ES_SELECTOR();
  55
  56 void    SerialPrint_VMCS_HOST_ES_SELECTOR();
  57
  58
  59 void    Set_VMCS_HOST_CS_SELECTOR(uint_t val);
  60 uint_t  Get_VMCS_HOST_CS_SELECTOR();
  61
  62 void    SerialPrint_VMCS_HOST_CS_SELECTOR();
  63
  64
  65 void    Set_VMCS_HOST_SS_SELECTOR(uint_t val);
  66 uint_t  Get_VMCS_HOST_SS_SELECTOR();
  67
  68 void    SerialPrint_VMCS_HOST_SS_SELECTOR();
  69
  70
  71 void    Set_VMCS_HOST_DS_SELECTOR(uint_t val);
  72 uint_t  Get_VMCS_HOST_DS_SELECTOR();
  73
  74 void    SerialPrint_VMCS_HOST_DS_SELECTOR();
  75
  76
  77 void    Set_VMCS_HOST_FS_SELECTOR(uint_t val);
  78 uint_t  Get_VMCS_HOST_FS_SELECTOR();
  79
  80 void    SerialPrint_VMCS_HOST_FS_SELECTOR();
  81
  82
  83 void    Set_VMCS_HOST_GS_SELECTOR(uint_t val);
  84 uint_t  Get_VMCS_HOST_GS_SELECTOR();
  85
  86 void    SerialPrint_VMCS_HOST_GS_SELECTOR();
  87
  88
  89 void    Set_VMCS_HOST_TR_SELECTOR(uint_t val);
  90 uint_t  Get_VMCS_HOST_TR_SELECTOR();
  91
  92 void    SerialPrint_VMCS_HOST_TR_SELECTOR();
  93
  94
  95 void    Set_IO_BITMAP_A_ADDR(uint_t val);
  96 uint_t  Get_IO_BITMAP_A_ADDR();
  97
  98 void    SerialPrint_IO_BITMAP_A_ADDR();
  99
 100
 101 void    Set_IO_BITMAP_A_ADDR_HIGH(uint_t val);
 102 uint_t  Get_IO_BITMAP_A_ADDR_HIGH();
 103
 104 void    SerialPrint_IO_BITMAP_A_ADDR_HIGH();
 105
 106
 107 void    Set_IO_BITMAP_B_ADDR(uint_t val);
 108 uint_t  Get_IO_BITMAP_B_ADDR();
 109
 110 void    SerialPrint_IO_BITMAP_B_ADDR();
 111
 112
 113 void    Set_IO_BITMAP_B_ADDR_HIGH(uint_t val);
 114 uint_t  Get_IO_BITMAP_B_ADDR_HIGH();
 115
 116 void    SerialPrint_IO_BITMAP_B_ADDR_HIGH();
 117
 118
 119 void    Set_MSR_BITMAPS(uint_t val);
 120 uint_t  Get_MSR_BITMAPS();
 121
 122 void    SerialPrint_MSR_BITMAPS();
 123
 124
 125 void    Set_MSR_BITMAPS_HIGH(uint_t val);
 126 uint_t  Get_MSR_BITMAPS_HIGH();
 127
 128 void    SerialPrint_MSR_BITMAPS_HIGH();
 129
 130
 131 void    Set_VM_EXIT_MSR_STORE_ADDR(uint_t val);
 132 uint_t  Get_VM_EXIT_MSR_STORE_ADDR();
 133
 134 void    SerialPrint_VM_EXIT_MSR_STORE_ADDR();
 135
 136
 137 void    Set_VM_EXIT_MSR_STORE_ADDR_HIGH(uint_t val);
 138 uint_t  Get_VM_EXIT_MSR_STORE_ADDR_HIGH();
 139
 140 void    SerialPrint_VM_EXIT_MSR_STORE_ADDR_HIGH();
 141
 142
 143 void    Set_VM_EXIT_MSR_LOAD_ADDR(uint_t val);
 144 uint_t  Get_VM_EXIT_MSR_LOAD_ADDR();
 145
 146 void    SerialPrint_VM_EXIT_MSR_LOAD_ADDR();
 147
 148
 149 void    Set_VM_EXIT_MSR_LOAD_ADDR_HIGH(uint_t val);
 150 uint_t  Get_VM_EXIT_MSR_LOAD_ADDR_HIGH();
 151
 152 void    SerialPrint_VM_EXIT_MSR_LOAD_ADDR_HIGH();
 153
 154
 155 void    Set_VM_ENTRY_MSR_LOAD_ADDR(uint_t val);
 156 uint_t  Get_VM_ENTRY_MSR_LOAD_ADDR();
 157
 158 void    SerialPrint_VM_ENTRY_MSR_LOAD_ADDR();
 159
 160
 161 void    Set_VM_ENTRY_MSR_LOAD_ADDR_HIGH(uint_t val);
 162 uint_t  Get_VM_ENTRY_MSR_LOAD_ADDR_HIGH();
 163
 164 void    SerialPrint_VM_ENTRY_MSR_LOAD_ADDR_HIGH();
 165
 166
 167 void    Set_VMCS_EXEC_PTR(uint_t val);
 168 uint_t  Get_VMCS_EXEC_PTR();
 169
 170 void    SerialPrint_VMCS_EXEC_PTR();
 171
 172
 173 void    Set_VMCS_EXEC_PTR_HIGH(uint_t val);
 174 uint_t  Get_VMCS_EXEC_PTR_HIGH();
 175
 176 void    SerialPrint_VMCS_EXEC_PTR_HIGH();
 177
 178
 179 void    Set_TSC_OFFSET(uint_t val);
 180 uint_t  Get_TSC_OFFSET();
 181
 182 void    SerialPrint_TSC_OFFSET();
 183
 184
 185 void    Set_TSC_OFFSET_HIGH(uint_t val);
 186 uint_t  Get_TSC_OFFSET_HIGH();
 187
 188 void    SerialPrint_TSC_OFFSET_HIGH();
 189
 190
 191 void    Set_VIRT_APIC_PAGE_ADDR(uint_t val);
 192 uint_t  Get_VIRT_APIC_PAGE_ADDR();
 193
 194 void    SerialPrint_VIRT_APIC_PAGE_ADDR();
 195
 196
 197 void    Set_VIRT_APIC_PAGE_ADDR_HIGH(uint_t val);
 198 uint_t  Get_VIRT_APIC_PAGE_ADDR_HIGH();
 199
 200 void    SerialPrint_VIRT_APIC_PAGE_ADDR_HIGH();
 201
 202
 203 void    Set_VMCS_LINK_PTR(uint_t val);
 204 uint_t  Get_VMCS_LINK_PTR();
 205
 206 void    SerialPrint_VMCS_LINK_PTR();
 207
 208
 209 void    Set_VMCS_LINK_PTR_HIGH(uint_t val);
 210 uint_t  Get_VMCS_LINK_PTR_HIGH();
 211
 212 void    SerialPrint_VMCS_LINK_PTR_HIGH();
 213
 214
 215 void    Set_GUEST_IA32_DEBUGCTL(uint_t val);
 216 uint_t  Get_GUEST_IA32_DEBUGCTL();
 217
 218 void    SerialPrint_GUEST_IA32_DEBUGCTL();
 219
 220
 221 void    Set_GUEST_IA32_DEBUGCTL_HIGH(uint_t val);
 222 uint_t  Get_GUEST_IA32_DEBUGCTL_HIGH();
 223
 224 void    SerialPrint_GUEST_IA32_DEBUGCTL_HIGH();
 225
 226
 227 void    Set_PIN_VM_EXEC_CTRLS(uint_t val);
 228 uint_t  Get_PIN_VM_EXEC_CTRLS();
 229
 230 void    SerialPrint_PIN_VM_EXEC_CTRLS();
 231
 232
 233 void    Set_PROC_VM_EXEC_CTRLS(uint_t val);
 234 uint_t  Get_PROC_VM_EXEC_CTRLS();
 235
 236 void    SerialPrint_PROC_VM_EXEC_CTRLS();
 237
 238
 239 void    Set_EXCEPTION_BITMAP(uint_t val);
 240 uint_t  Get_EXCEPTION_BITMAP();
 241
 242 void    SerialPrint_EXCEPTION_BITMAP();
 243
 244
 245 void    Set_PAGE_FAULT_ERROR_MASK(uint_t val);
 246 uint_t  Get_PAGE_FAULT_ERROR_MASK();
 247
 248 void    SerialPrint_PAGE_FAULT_ERROR_MASK();
 249
 250
 251 void    Set_PAGE_FAULT_ERROR_MATCH(uint_t val);
 252 uint_t  Get_PAGE_FAULT_ERROR_MATCH();
 253
 254 void    SerialPrint_PAGE_FAULT_ERROR_MATCH();
 255
 256
 257 void    Set_CR3_TARGET_COUNT(uint_t val);
 258 uint_t  Get_CR3_TARGET_COUNT();
 259
 260 void    SerialPrint_CR3_TARGET_COUNT();
 261
 262
 263 void    Set_VM_EXIT_CTRLS(uint_t val);
 264 uint_t  Get_VM_EXIT_CTRLS();
 265
 266 void    SerialPrint_VM_EXIT_CTRLS();
 267
 268
 269 void    Set_VM_EXIT_MSR_STORE_COUNT(uint_t val);
 270 uint_t  Get_VM_EXIT_MSR_STORE_COUNT();
 271
 272 void    SerialPrint_VM_EXIT_MSR_STORE_COUNT();
 273
 274
 275 void    Set_VM_EXIT_MSR_LOAD_COUNT(uint_t val);
 276 uint_t  Get_VM_EXIT_MSR_LOAD_COUNT();
 277
 278 void    SerialPrint_VM_EXIT_MSR_LOAD_COUNT();
 279
 280
 281 void    Set_VM_ENTRY_CTRLS(uint_t val);
 282 uint_t  Get_VM_ENTRY_CTRLS();
 283
 284 void    SerialPrint_VM_ENTRY_CTRLS();
 285
 286
 287 void    Set_VM_ENTRY_MSR_LOAD_COUNT(uint_t val);
 288 uint_t  Get_VM_ENTRY_MSR_LOAD_COUNT();
 289
 290 void    SerialPrint_VM_ENTRY_MSR_LOAD_COUNT();
 291
 292
 293 void    Set_VM_ENTRY_INT_INFO_FIELD(uint_t val);
 294 uint_t  Get_VM_ENTRY_INT_INFO_FIELD();
 295
 296 void    SerialPrint_VM_ENTRY_INT_INFO_FIELD();
 297
 298
 299 void    Set_VM_ENTRY_EXCEPTION_ERROR(uint_t val);
 300 uint_t  Get_VM_ENTRY_EXCEPTION_ERROR();
 301
 302 void    SerialPrint_VM_ENTRY_EXCEPTION_ERROR();
 303
 304
 305 void    Set_VM_ENTRY_INSTR_LENGTH(uint_t val);
 306 uint_t  Get_VM_ENTRY_INSTR_LENGTH();
 307
 308 void    SerialPrint_VM_ENTRY_INSTR_LENGTH();
 309
 310
 311 void    Set_TPR_THRESHOLD(uint_t val);
 312 uint_t  Get_TPR_THRESHOLD();
 313
 314 void    SerialPrint_TPR_THRESHOLD();
 315
 316
 317 void    Set_VM_INSTR_ERROR(uint_t val);
 318 uint_t  Get_VM_INSTR_ERROR();
 319
 320 void    SerialPrint_VM_INSTR_ERROR();
 321
 322
 323 void    Set_EXIT_REASON(uint_t val);
 324 uint_t  Get_EXIT_REASON();
 325
 326 void    SerialPrint_EXIT_REASON();
 327
 328
 329 void    Set_VM_EXIT_INT_INFO(uint_t val);
 330 uint_t  Get_VM_EXIT_INT_INFO();
 331
 332 void    SerialPrint_VM_EXIT_INT_INFO();
 333
 334
 335 void    Set_VM_EXIT_INT_ERROR(uint_t val);
 336 uint_t  Get_VM_EXIT_INT_ERROR();
 337
 338 void    SerialPrint_VM_EXIT_INT_ERROR();
 339
 340
 341 void    Set_IDT_VECTOR_INFO(uint_t val);
 342 uint_t  Get_IDT_VECTOR_INFO();
 343
 344 void    SerialPrint_IDT_VECTOR_INFO();
 345
 346
 347 void    Set_IDT_VECTOR_ERROR(uint_t val);
 348 uint_t  Get_IDT_VECTOR_ERROR();
 349
 350 void    SerialPrint_IDT_VECTOR_ERROR();
 351
 352
 353 void    Set_VM_EXIT_INSTR_LENGTH(uint_t val);
 354 uint_t  Get_VM_EXIT_INSTR_LENGTH();
 355
 356 void    SerialPrint_VM_EXIT_INSTR_LENGTH();
 357
 358
 359 void    Set_VMX_INSTR_INFO(uint_t val);
 360 uint_t  Get_VMX_INSTR_INFO();
 361
 362 void    SerialPrint_VMX_INSTR_INFO();
 363
 364
 365 void    Set_GUEST_ES_LIMIT(uint_t val);
 366 uint_t  Get_GUEST_ES_LIMIT();
 367
 368 void    SerialPrint_GUEST_ES_LIMIT();
 369
 370
 371 void    Set_GUEST_CS_LIMIT(uint_t val);
 372 uint_t  Get_GUEST_CS_LIMIT();
 373
 374 void    SerialPrint_GUEST_CS_LIMIT();
 375
 376
 377 void    Set_GUEST_SS_LIMIT(uint_t val);
 378 uint_t  Get_GUEST_SS_LIMIT();
 379
 380 void    SerialPrint_GUEST_SS_LIMIT();
 381
 382
 383 void    Set_GUEST_DS_LIMIT(uint_t val);
 384 uint_t  Get_GUEST_DS_LIMIT();
 385
 386 void    SerialPrint_GUEST_DS_LIMIT();
 387
 388
 389 void    Set_GUEST_FS_LIMIT(uint_t val);
 390 uint_t  Get_GUEST_FS_LIMIT();
 391
 392 void    SerialPrint_GUEST_FS_LIMIT();
 393
 394
 395 void    Set_GUEST_GS_LIMIT(uint_t val);
 396 uint_t  Get_GUEST_GS_LIMIT();
 397
 398 void    SerialPrint_GUEST_GS_LIMIT();
 399
 400
 401 void    Set_GUEST_LDTR_LIMIT(uint_t val);
 402 uint_t  Get_GUEST_LDTR_LIMIT();
 403
 404 void    SerialPrint_GUEST_LDTR_LIMIT();
 405
 406
 407 void    Set_GUEST_TR_LIMIT(uint_t val);
 408 uint_t  Get_GUEST_TR_LIMIT();
 409
 410 void    SerialPrint_GUEST_TR_LIMIT();
 411
 412
 413 void    Set_GUEST_GDTR_LIMIT(uint_t val);
 414 uint_t  Get_GUEST_GDTR_LIMIT();
 415
 416 void    SerialPrint_GUEST_GDTR_LIMIT();
 417
 418
 419 void    Set_GUEST_IDTR_LIMIT(uint_t val);
 420 uint_t  Get_GUEST_IDTR_LIMIT();
 421
 422 void    SerialPrint_GUEST_IDTR_LIMIT();
 423
 424
 425 void    Set_GUEST_ES_ACCESS(uint_t val);
 426 uint_t  Get_GUEST_ES_ACCESS();
 427
 428 void    SerialPrint_GUEST_ES_ACCESS();
 429
 430
 431 void    Set_GUEST_CS_ACCESS(uint_t val);
 432 uint_t  Get_GUEST_CS_ACCESS();
 433
 434 void    SerialPrint_GUEST_CS_ACCESS();
 435
 436
 437 void    Set_GUEST_SS_ACCESS(uint_t val);
 438 uint_t  Get_GUEST_SS_ACCESS();
 439
 440 void    SerialPrint_GUEST_SS_ACCESS();
 441
 442
 443 void    Set_GUEST_DS_ACCESS(uint_t val);
 444 uint_t  Get_GUEST_DS_ACCESS();
 445
 446 void    SerialPrint_GUEST_DS_ACCESS();
 447
 448
 449 void    Set_GUEST_FS_ACCESS(uint_t val);
 450 uint_t  Get_GUEST_FS_ACCESS();
 451
 452 void    SerialPrint_GUEST_FS_ACCESS();
 453
 454
 455 void    Set_GUEST_GS_ACCESS(uint_t val);
 456 uint_t  Get_GUEST_GS_ACCESS();
 457
 458 void    SerialPrint_GUEST_GS_ACCESS();
 459
 460
 461 void    Set_GUEST_LDTR_ACCESS(uint_t val);
 462 uint_t  Get_GUEST_LDTR_ACCESS();
 463
 464 void    SerialPrint_GUEST_LDTR_ACCESS();
 465
 466
 467 void    Set_GUEST_TR_ACCESS(uint_t val);
 468 uint_t  Get_GUEST_TR_ACCESS();
 469
 470 void    SerialPrint_GUEST_TR_ACCESS();
 471
 472
 473 void    Set_GUEST_INT_STATE(uint_t val);
 474 uint_t  Get_GUEST_INT_STATE();
 475
 476 void    SerialPrint_GUEST_INT_STATE();
 477
 478
 479 void    Set_GUEST_ACTIVITY_STATE(uint_t val);
 480 uint_t  Get_GUEST_ACTIVITY_STATE();
 481
 482 void    SerialPrint_GUEST_ACTIVITY_STATE();
 483
 484
 485 void    Set_GUEST_SMBASE(uint_t val);
 486 uint_t  Get_GUEST_SMBASE();
 487
 488 void    SerialPrint_GUEST_SMBASE();
 489
 490
 491 void    Set_GUEST_IA32_SYSENTER_CS(uint_t val);
 492 uint_t  Get_GUEST_IA32_SYSENTER_CS();
 493
 494 void    SerialPrint_GUEST_IA32_SYSENTER_CS();
 495
 496
 497 void    Set_HOST_IA32_SYSENTER_CS(uint_t val);
 498 uint_t  Get_HOST_IA32_SYSENTER_CS();
 499
 500 void    SerialPrint_HOST_IA32_SYSENTER_CS();
 501
 502
 503 void    Set_CR0_GUEST_HOST_MASK(uint_t val);
 504 uint_t  Get_CR0_GUEST_HOST_MASK();
 505
 506 void    SerialPrint_CR0_GUEST_HOST_MASK();
 507
 508
 509 void    Set_CR4_GUEST_HOST_MASK(uint_t val);
 510 uint_t  Get_CR4_GUEST_HOST_MASK();
 511
 512 void    SerialPrint_CR4_GUEST_HOST_MASK();
 513
 514
 515 void    Set_CR0_READ_SHADOW(uint_t val);
 516 uint_t  Get_CR0_READ_SHADOW();
 517
 518 void    SerialPrint_CR0_READ_SHADOW();
 519
 520
 521 void    Set_CR4_READ_SHADOW(uint_t val);
 522 uint_t  Get_CR4_READ_SHADOW();
 523
 524 void    SerialPrint_CR4_READ_SHADOW();
 525
 526
 527 void    Set_CR3_TARGET_VALUE_0(uint_t val);
 528 uint_t  Get_CR3_TARGET_VALUE_0();
 529
 530 void    SerialPrint_CR3_TARGET_VALUE_0();
 531
 532
 533 void    Set_CR3_TARGET_VALUE_1(uint_t val);
 534 uint_t  Get_CR3_TARGET_VALUE_1();
 535
 536 void    SerialPrint_CR3_TARGET_VALUE_1();
 537
 538
 539 void    Set_CR3_TARGET_VALUE_2(uint_t val);
 540 uint_t  Get_CR3_TARGET_VALUE_2();
 541
 542 void    SerialPrint_CR3_TARGET_VALUE_2();
 543
 544
 545 void    Set_CR3_TARGET_VALUE_3(uint_t val);
 546 uint_t  Get_CR3_TARGET_VALUE_3();
 547
 548 void    SerialPrint_CR3_TARGET_VALUE_3();
 549
 550
 551 void    Set_EXIT_QUALIFICATION(uint_t val);
 552 uint_t  Get_EXIT_QUALIFICATION();
 553
 554 void    SerialPrint_EXIT_QUALIFICATION();
 555
 556
 557 void    Set_IO_RCX(uint_t val);
 558 uint_t  Get_IO_RCX();
 559
 560 void    SerialPrint_IO_RCX();
 561
 562
 563 void    Set_IO_RSI(uint_t val);
 564 uint_t  Get_IO_RSI();
 565
 566 void    SerialPrint_IO_RSI();
 567
 568
 569 void    Set_IO_RDI(uint_t val);
 570 uint_t  Get_IO_RDI();
 571
 572 void    SerialPrint_IO_RDI();
 573
 574
 575 void    Set_IO_RIP(uint_t val);
 576 uint_t  Get_IO_RIP();
 577
 578 void    SerialPrint_IO_RIP();
 579
 580
 581 void    Set_GUEST_LINEAR_ADDR(uint_t val);
 582 uint_t  Get_GUEST_LINEAR_ADDR();
 583
 584 void    SerialPrint_GUEST_LINEAR_ADDR();
 585
 586
 587 void    Set_GUEST_CR0(uint_t val);
 588 uint_t  Get_GUEST_CR0();
 589
 590 void    SerialPrint_GUEST_CR0();
 591
 592
 593 void    Set_GUEST_CR3(uint_t val);
 594 uint_t  Get_GUEST_CR3();
 595
 596 void    SerialPrint_GUEST_CR3();
 597
 598
 599 void    Set_GUEST_CR4(uint_t val);
 600 uint_t  Get_GUEST_CR4();
 601
 602 void    SerialPrint_GUEST_CR4();
 603
 604
 605 void    Set_GUEST_ES_BASE(uint_t val);
 606 uint_t  Get_GUEST_ES_BASE();
 607
 608 void    SerialPrint_GUEST_ES_BASE();
 609
 610
 611 void    Set_GUEST_CS_BASE(uint_t val);
 612 uint_t  Get_GUEST_CS_BASE();
 613
 614 void    SerialPrint_GUEST_CS_BASE();
 615
 616
 617 void    Set_GUEST_SS_BASE(uint_t val);
 618 uint_t  Get_GUEST_SS_BASE();
 619
 620 void    SerialPrint_GUEST_SS_BASE();
 621
 622
 623 void    Set_GUEST_DS_BASE(uint_t val);
 624 uint_t  Get_GUEST_DS_BASE();
 625
 626 void    SerialPrint_GUEST_DS_BASE();
 627
 628
 629 void    Set_GUEST_FS_BASE(uint_t val);
 630 uint_t  Get_GUEST_FS_BASE();
 631
 632 void    SerialPrint_GUEST_FS_BASE();
 633
 634
 635 void    Set_GUEST_GS_BASE(uint_t val);
 636 uint_t  Get_GUEST_GS_BASE();
 637
 638 void    SerialPrint_GUEST_GS_BASE();
 639
 640
 641 void    Set_GUEST_LDTR_BASE(uint_t val);
 642 uint_t  Get_GUEST_LDTR_BASE();
 643
 644 void    SerialPrint_GUEST_LDTR_BASE();
 645
 646
 647 void    Set_GUEST_TR_BASE(uint_t val);
 648 uint_t  Get_GUEST_TR_BASE();
 649
 650 void    SerialPrint_GUEST_TR_BASE();
 651
 652
 653 void    Set_GUEST_GDTR_BASE(uint_t val);
 654 uint_t  Get_GUEST_GDTR_BASE();
 655
 656 void    SerialPrint_GUEST_GDTR_BASE();
 657
 658
 659 void    Set_GUEST_IDTR_BASE(uint_t val);
 660 uint_t  Get_GUEST_IDTR_BASE();
 661
 662 void    SerialPrint_GUEST_IDTR_BASE();
 663
 664
 665 void    Set_GUEST_DR7(uint_t val);
 666 uint_t  Get_GUEST_DR7();
 667
 668 void    SerialPrint_GUEST_DR7();
 669
 670
 671 void    Set_GUEST_RSP(uint_t val);
 672 uint_t  Get_GUEST_RSP();
 673
 674 void    SerialPrint_GUEST_RSP();
 675
 676
 677 void    Set_GUEST_RIP(uint_t val);
 678 uint_t  Get_GUEST_RIP();
 679
 680 void    SerialPrint_GUEST_RIP();
 681
 682
 683 void    Set_GUEST_RFLAGS(uint_t val);
 684 uint_t  Get_GUEST_RFLAGS();
 685
 686 void    SerialPrint_GUEST_RFLAGS();
 687
 688
 689 void    Set_GUEST_PENDING_DEBUG_EXCS(uint_t val);
 690 uint_t  Get_GUEST_PENDING_DEBUG_EXCS();
 691
 692 void    SerialPrint_GUEST_PENDING_DEBUG_EXCS();
 693
 694
 695 void    Set_GUEST_IA32_SYSENTER_ESP(uint_t val);
 696 uint_t  Get_GUEST_IA32_SYSENTER_ESP();
 697
 698 void    SerialPrint_GUEST_IA32_SYSENTER_ESP();
 699
 700
 701 void    Set_GUEST_IA32_SYSENTER_EIP(uint_t val);
 702 uint_t  Get_GUEST_IA32_SYSENTER_EIP();
 703
 704 void    SerialPrint_GUEST_IA32_SYSENTER_EIP();
 705
 706
 707 void    Set_HOST_CR0(uint_t val);
 708 uint_t  Get_HOST_CR0();
 709
 710 void    SerialPrint_HOST_CR0();
 711
 712
 713 void    Set_HOST_CR3(uint_t val);
 714 uint_t  Get_HOST_CR3();
 715
 716 void    SerialPrint_HOST_CR3();
 717
 718
 719 void    Set_HOST_CR4(uint_t val);
 720 uint_t  Get_HOST_CR4();
 721
 722 void    SerialPrint_HOST_CR4();
 723
 724
 725 void    Set_HOST_FS_BASE(uint_t val);
 726 uint_t  Get_HOST_FS_BASE();
 727
 728 void    SerialPrint_HOST_FS_BASE();
 729
 730
 731 void    Set_HOST_GS_BASE(uint_t val);
 732 uint_t  Get_HOST_GS_BASE();
 733
 734 void    SerialPrint_HOST_GS_BASE();
 735
 736
 737 void    Set_HOST_TR_BASE(uint_t val);
 738 uint_t  Get_HOST_TR_BASE();
 739
 740 void    SerialPrint_HOST_TR_BASE();
 741
 742
 743 void    Set_HOST_GDTR_BASE(uint_t val);
 744 uint_t  Get_HOST_GDTR_BASE();
 745
 746 void    SerialPrint_HOST_GDTR_BASE();
 747
 748
 749 void    Set_HOST_IDTR_BASE(uint_t val);
 750 uint_t  Get_HOST_IDTR_BASE();
 751
 752 void    SerialPrint_HOST_IDTR_BASE();
 753
 754
 755 void    Set_HOST_IA32_SYSENTER_ESP(uint_t val);
 756 uint_t  Get_HOST_IA32_SYSENTER_ESP();
 757
 758 void    SerialPrint_HOST_IA32_SYSENTER_ESP();
 759
 760
 761 void    Set_HOST_IA32_SYSENTER_EIP(uint_t val);
 762 uint_t  Get_HOST_IA32_SYSENTER_EIP();
 763
 764 void    SerialPrint_HOST_IA32_SYSENTER_EIP();
 765
 766
 767 void    Set_HOST_RSP(uint_t val);
 768 uint_t  Get_HOST_RSP();
 769
 770 void    SerialPrint_HOST_RSP();
 771
 772
 773 void    Set_HOST_RIP(uint_t val);
 774 uint_t  Get_HOST_RIP();
 775
 776 void    SerialPrint_HOST_RIP();
 777
 778 void SerialPrint_VMCS_ALL();
 779 #endif