{
  "Header": {
    "Copyright": "Copyright (c) 2022 - 2023 Intel Corporation. All rights reserved.",
    "Info": "TDX TD VMCS",
    "Version": "2.0"
  },
  "Description": {
    "VM Applicability": "Applicability to VMs (for field arrays where each entry is associated with a VM)",
    "Mutable": {
      "Mutable": "The field value is mutable.",
      "<function names(s)>": "The field becomes immutable (its value doesn't change) after the function executes."
    },
    "Access": {
      "RO": "Read Only",
      "RW": "Read/Write",
      "RWS": "Read/Write (special handling)"
    }
  },
  "Fields": [
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest CR0",
      "Description ": [
        "Write value is checked for architectural compatibility, platform capability, TDX compatibility and current guest CR4 value."
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x0021",
        "\u2022  Bits PE (0) and NE (5) are set to 1.",
        "\u2022  All other bits are cleared to 0. ",
        "The initial value is checked for compatibility with fixed-0 and fixed-1 bits according to IA32_VMX_CR0_FIXED* MSRs, except for PG (bit 31) which is allowed to be 0 since the guest TD runs as an unrestricted guest."
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006800",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RWS",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest CR3",
      "Description ": [
        "Checked on write to be a valid private GPA.  If LAM is supported by the CPU, bits 62 and/or 61 may be 1."
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006802",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RWS",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest CR4",
      "Description ": [
        "Write value is checked for architectural compatibility, platform capability, TDX compatibility and current guest CR0 value."
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x2040",
        "\u2022  Bits MCE (6) and VMXE (13) are set",
        "    to 1",
        "\u2022  All other bits are cleared to 0.",
        "The initial value is checked for compatibility with fixed-0 and fixed-1 bits according to IA32_VMX_CR4_FIXED* MSRs."
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006804",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RWS",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest DR7",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x00000400"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000681A",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest RSP",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000681C",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest RIP",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0xFFFFFFF0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000681E",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest RFLAGS",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x00000002"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006820",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest ES selector",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "2",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000100000800",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest CS selector",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "2",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000100000802",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest SS selector",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "2",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000100000804",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest DS selector",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "2",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000100000806",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest FS selector",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "2",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000100000808",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest GS selector",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "2",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400010000080A",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest LDTR selector",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "2",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400010000080C",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest TR selector",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "2",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400010000080E",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest ES base",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006806",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest CS base",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006808",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest SS base",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000680A",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest DS base",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000680C",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest FS base",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000680E",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest GS base",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006810",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest LDTR base",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006812",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest TR base",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006814",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest GDTR base",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006816",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest IDTR base",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006818",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest ES limit",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0xFFFFFFFF"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004800",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest CS limit",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0xFFFFFFFF"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004802",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest SS limit",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0xFFFFFFFF"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004804",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest DS limit",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0xFFFFFFFF"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004806",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest FS limit",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0xFFFFFFFF"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004808",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest GS limit",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0xFFFFFFFF"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400020000480A",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest LDTR limit",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x0000FFFF"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400020000480C",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest TR limit",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x0000FFFF"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400020000480E",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest GDTR limit",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x0000FFFF"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004810",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest IDTR limit",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004812",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest ES access rights",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x0000C093",
        "(Data, RW, Accessed, DPL=0, Present, 32b, 4KB granularity)"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004814",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest CS access rights",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x0000C09B",
        "(Code, RX, Accessed, DPL=0, Present, 32b)"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004816",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest SS access rights",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x0000C093",
        "(Data, RW, Accessed, DPL=0, Present, 32b, 4KB granularity)"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004818",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest DS access rights",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x0000C093",
        "(Data, RW, Accessed, DPL=0, Present, 32b, 4KB granularity)"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400020000481A",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest FS access rights",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x0000C093",
        "(Data, RW, Accessed, DPL=0, Present, 32b, 4KB granularity)"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400020000481C",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest GS access rights",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x0000C093",
        "(Data, RW, Accessed, DPL=0, Present, 32b, 4KB granularity)"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400020000481E",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest LDTR access rights",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x00010082",
        "(LDT, Present, 32b, 1B granularity, Unusable)"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004820",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Register State",
      "Field Name ": "Guest TR access rights",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x0000008B",
        "(32b TSS, Busy, Present, 32b, 1B granularity)"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004822",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest MSR State",
      "Field Name ": "IA32_DEBUGCTL",
      "Description ": [
        "\u2022 Reserved bits 63:16 and 5:3 must be 0",
        "\u2022 Bit 13 is 0 on read and ignored on write",
        "\u2022 Bits 7:6 must not be set to 01"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002802",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RWS",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0xFFC7"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest MSR State",
      "Field Name ": "IA32_SYSENTER_CS",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400020000482A",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest MSR State",
      "Field Name ": "IA32_SYSENTER_ESP",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006824",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest MSR State",
      "Field Name ": "IA32_SYSENTER_EIP",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006826",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest MSR State",
      "Field Name ": "IA32_PERF_GLOBAL_CTRL",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "If (ATTRIBUTES.PERFMON)",
        "    0x00000000_000000FF",
        "    \u2022 EN_PMCx (bits 0 to (NUM_PMC - 1)) = 1",
        "    \u2022 Other bits = 0",
        "Else",
        "    0x00000001_00000000",
        "    \u2022 EN_FC0 (bit 32) = 1",
        "    \u2022 Other bits = 0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002808",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest MSR State",
      "Field Name ": "IA32_PAT",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x0007040600070406"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002804",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest MSR State",
      "Field Name ": "IA32_EFER",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x901",
        "\u2022 SCE (bit 0) is set to 1.",
        "\u2022 LME (bit 8) is set to 1.",
        "\u2022 NXE (bit 11) is set to 1.",
        "\u2022 All other bits are cleared to 0."
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002806",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RWS",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest MSR State",
      "Field Name ": "GUEST_IA32_S_CET",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006828",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest MSR State",
      "Field Name ": "GUEST_SSP",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000682A",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest MSR State",
      "Field Name ": "GUEST_IA32_INTERRUPT_SSP_TABLE_ADDR",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000682C",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest MSR State",
      "Field Name ": "IA32_RTIT_CTL",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002814",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest MSR State",
      "Field Name ": "IA32_LBR_CTL",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002816",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest MSR State",
      "Field Name ": "IA32_GUEST_PKRS",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002818",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Non-Register State",
      "Field Name ": "Activity State",
      "Description ": [
        "Saved/restored on VM exit/entry"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "Active (0)"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004826",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Non-Register State",
      "Field Name ": "Interruptibility State",
      "Description ": [
        "Saved/restored on VM exit/entry"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004824",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Non-Register State",
      "Field Name ": "Pending Debug Exceptions",
      "Description ": [
        "Saved/restored on VM exit/entry"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006822",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Non-Register State",
      "Field Name ": "VMX-Preemption Timer Value",
      "Description ": [
        "N/A:  VMX-preemption timer is not used by guest TDs."
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400020000482E",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Non-Register State",
      "Field Name ": "PDPTEn",
      "Description ": [
        "N/A:  PAE paging is not used by TD guests."
      ],
      "Type ": "10",
      "Attributes ": "PRIVATE_GPA",
      "Mutability ": "Mutable",
      "Initial Value ": [
        "NULL_PA (-1)"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "4",
      "Base FIELD_ID (Hex) ": "0x002400030000280A",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Non-Register State",
      "Field Name ": "Guest Interrupt Status",
      "Description ": [
        "Includes RVI (lower byte) and SVI (upper byte):  saved/restored on VM exit/entry"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "2",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000100000810",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Non-Register State",
      "Field Name ": "PML Index",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "2",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000100000812",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "Guest State",
      "Sub-Sub-Class ": "Guest Non-Register State",
      "Field Name ": "Guest UINV",
      "Description ": [
        "None"
      ],
      "Type ": "10",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "2",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000100000814",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Pin-Based VM-Exection Controls",
      "Field Name ": "Pin-Based VM-Exection Controls",
      "Description ": [
        "See Pin-Based Exec Controls table"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": null,
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004000",
      "Host VMM Access for a Production TD ": "RWS",
      "Host VMM Access for a Debug TD ": "RWS",
      "Host VMM Rd Mask for a Production TD ": "0x00000080",
      "Host VMM Wr Mask for a Production TD ": "0x00000080",
      "Host VMM Rd Mask for a Debug TD ": "0xFFFFFFFF",
      "Host VMM Wr Mask for a Debug TD ": "0x00000080"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Processor-Based VM-Execution Controls",
      "Field Name ": "Primary Processor-Based VM-Exection Controls",
      "Description ": [
        "See Primary Processor-Based Exec Controls table"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": null,
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004002",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0x00000000",
      "Host VMM Wr Mask for a Production TD ": "0x00000000",
      "Host VMM Rd Mask for a Debug TD ": "0xFFFFFFFF",
      "Host VMM Wr Mask for a Debug TD ": "0x69999A04"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Processor-Based VM-Execution Controls",
      "Field Name ": "Secondary Processor-Based VM-Exection Controls",
      "Description ": [
        "See Secondary Processor-Based Exec Controls table"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": null,
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400020000401E",
      "Host VMM Access for a Production TD ": "RWS",
      "Host VMM Access for a Debug TD ": "RWS",
      "Host VMM Rd Mask for a Production TD ": "0xC0000000",
      "Host VMM Wr Mask for a Production TD ": "0xC0000000",
      "Host VMM Rd Mask for a Debug TD ": "0xFFFFFFFF",
      "Host VMM Wr Mask for a Debug TD ": "0xC0130C04"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Processor-Based VM-Execution Controls",
      "Field Name ": "Tertiary Processor-Based VM-Exection Controls",
      "Description ": [
        "See Tertiary Processor-Based Exec Controls table"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": null,
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002034",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0x0000000000000000",
      "Host VMM Wr Mask for a Production TD ": "0x0000000000000000",
      "Host VMM Rd Mask for a Debug TD ": "0xFFFFFFFFFFFFFFFF",
      "Host VMM Wr Mask for a Debug TD ": "0x0000000000000001"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Controls for APIC Virtualization",
      "Field Name ": "APIC-access address",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": "HPA",
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "NULL_PA (-1)"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002014",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Controls for APIC Virtualization",
      "Field Name ": "TPR threshold",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400020000401C",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Controls for APIC Virtualization",
      "Field Name ": "EOI-exit bitmap n",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "4",
      "Base FIELD_ID (Hex) ": "0x002400030000201C",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Controls for APIC Virtualization",
      "Field Name ": "Posted-interrupt notification vector",
      "Description ": [
        "TDH.VP.WR checks the value to be in the range 0 to 255.",
        "See process posted interrupt pin-based execution control."
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0xFFFF"
      ],
      "Field Size (Bytes) ": "2",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000100000002",
      "Host VMM Access for a Production TD ": "RWS",
      "Host VMM Access for a Debug TD ": "RWS",
      "Host VMM Rd Mask for a Production TD ": "-1",
      "Host VMM Wr Mask for a Production TD ": "-1",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Controls for APIC Virtualization",
      "Field Name ": "Posted-interrupt descriptor address",
      "Description ": [
        "Address must be:",
        "\u2022 Valid shared physical address",
        "   (HKID bits encode a shared HKID).",
        "\u2022 Aligned on 64B.",
        "See process posted interrupt pin-based execution control."
      ],
      "Type ": "00",
      "Attributes ": "SHARED_HPA",
      "Mutability ": "Mutable",
      "Initial Value ": [
        "NULL_PA (-1)"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002016",
      "Host VMM Access for a Production TD ": "RWS",
      "Host VMM Access for a Debug TD ": "RWS",
      "Host VMM Rd Mask for a Production TD ": "-1",
      "Host VMM Wr Mask for a Production TD ": "0xFFFFFFFFFFFFFFC0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0xFFFFFFFFFFFFFFC0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "EPTP and Shared EPTP",
      "Field Name ": "EPTP",
      "Description ": [
        "See EPTP table"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "See EPTP table"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000201A",
      "Host VMM Access for a Production TD ": "RO",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0xFFFFFFFFFFFFFFFF",
      "Host VMM Wr Mask for a Production TD ": "0x0000000000000000",
      "Host VMM Rd Mask for a Debug TD ": "0xFFFFFFFFFFFFFFFF",
      "Host VMM Wr Mask for a Debug TD ": "0x0000000000000000"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "EPTP and Shared EPTP",
      "Field Name ": "Shared EPTP",
      "Description ": [
        "See Shared EPTP table"
      ],
      "Type ": "00",
      "Attributes ": "SHARED_HPA",
      "Mutability ": "Mutable",
      "Initial Value ": [
        "See Shared EPTP table"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000203C",
      "Host VMM Access for a Production TD ": "RWS",
      "Host VMM Access for a Debug TD ": "RWS",
      "Host VMM Rd Mask for a Production TD ": "0x000FFFFFFFFFF000",
      "Host VMM Wr Mask for a Production TD ": "0x000FFFFFFFFFF000",
      "Host VMM Rd Mask for a Debug TD ": "0xFFFFFFFFFFFFFFFF",
      "Host VMM Wr Mask for a Debug TD ": "0x000FFFFFFFFFF000"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "CR-Related VM-Execution Controls",
      "Field Name ": "CR0 Guest/Host Mask",
      "Description ": [
        "Bits 0, 5, 29 and 30 can't be written even in debug mode"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "The following bits are set to 1, indicating they are owned by the Intel TDX module:",
        "\u2022 PE (0)",
        "\u2022 NE (5)",
        "\u2022 NW (29)",
        "\u2022 CD (30)",
        "\u2022 Any bit set to 1 in IA32_VMX_CR0_FIXED0",
        "   (i.e., a bit whose value must be 1), except for",
        "   PG(31) which is set to 0, since the guest TD",
        "   runs as an unrestricted guest",
        "\u2022 Any bit set to 0 in IA32_VMX_CR0_FIXED1",
        "   (i.e., a bit whose value must be 0)",
        "\u2022 Bits known to the Intel TDX module as",
        "   reserved (bits 63-32, 28-19, 17 and 15-6)",
        "All other bits are cleared to 0, indicating they are owned by the guest TD."
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006000",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0xFFFFFFFF9FFFFFDE"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "CR-Related VM-Execution Controls",
      "Field Name ": "CR0 Read Shadow",
      "Description ": [
        "Bits 0 and 5 can't be written even in debug mode"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "The following bits are set to 1:",
        "\u2022 PE (0)",
        "\u2022 NE (5)",
        "\u2022 Any bit set to 1 in IA32_VMX_CR0_FIXED0",
        "   (i.e., a bit whose value must be 1)",
        "All other bits are cleared to 0."
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006004",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0xFFFFFFFFFFFFFFDE"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "CR-Related VM-Execution Controls",
      "Field Name ": "CR4 Guest/Host Mask",
      "Description ": [
        "Bits 6, 13 and 14 can't be written even in debug mode"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "Details are provided in the [ABI Spec]"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006002",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0xFFFFFFFFFFFF9FBF"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "CR-Related VM-Execution Controls",
      "Field Name ": "CR4 Read Shadow",
      "Description ": [
        "Bit 6 can't be written even in debug mode"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "\u2022 Bit MCE (6) is set to 1.",
        "\u2022 Bit VMXE (13) is cleared to 0.",
        "\u2022 Any other bit whose value is set to 1 in",
        "   IA32_VMX_CR4_FIXED0 (i.e., a bit",
        "   whose value must be 1) is set to 1.",
        "\u2022 All other bits are cleared to 0."
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006006",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0xFFFFFFFFFFFFFFBF"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "CR-Related VM-Execution Controls",
      "Field Name ": "CR3-Target Values",
      "Description ": [
        "N/A:  The Intel TDX module does not control guest CR3"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "4",
      "Base FIELD_ID (Hex) ": "0x0024000300006008",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "CR-Related VM-Execution Controls",
      "Field Name ": "CR3-Target Count",
      "Description ": [
        "Set to 0:  Intel TDX module does not control guest CR3"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400020000400A",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "Exception Bitmap",
      "Description ": [
        "\u2022 Bit 18 (MCE) is set to 1, even in",
        "   debug mode.",
        "\u2022 Other bits are cleared to 0.  They may be",
        "   modified in debug mode."
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0x00040000"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004004",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0xFFFFFFFFFFFBFFFF"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "Page-fault error-code mask",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004006",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "Page-fault error-code match",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004008",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "I/O-Bitmap Address n",
      "Description ": [
        "Set to NULL_PA (-1):  I/O bitmaps execution control is set to 0"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "NULL_PA (-1)"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "2",
      "Base FIELD_ID (Hex) ": "0x0024000300002000",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "Time-Stamp Counter Offset",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "Copied from TDCS.TSC_OFFSET"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002010",
      "Host VMM Access for a Production TD ": "RO",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "-1",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "Time-Stamp Counter Multiplier",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "Copied from TDCS.TSC_MULTIPLIER"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002032",
      "Host VMM Access for a Production TD ": "RO",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "-1",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "MSR-Bitmap Address",
      "Description ": [
        "A single MSR bitmaps page is held per TD as part of TDCS.  This field is set to the PA of that page."
      ],
      "Type ": "00",
      "Attributes ": "PRIVATE_HPA",
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "PA (including HKID) of the TDCS MSR Bitmaps page."
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002004",
      "Host VMM Access for a Production TD ": "RO",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "-1",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "TD HKID",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "Copied from TDCS"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004026",
      "Host VMM Access for a Production TD ": "RO",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "-1",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "VPID",
      "Description ": [
        "Unique identifier of the VM in the platform:",
        "Bits 1:0:    VM index (0)",
        "Bits 15:2:  TD's HKID"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "Bits 1:0:    VM index (0)",
        "Bits 15:2:  TD's HKID"
      ],
      "Field Size (Bytes) ": "2",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000100000000",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "PLE_GAP",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004020",
      "Host VMM Access for a Production TD ": "RO",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "-1",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "PLE_Window",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004022",
      "Host VMM Access for a Production TD ": "RO",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "-1",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "VM-Function Controls",
      "Description ": [
        "The Intel TDX module injects a #UD into the TD."
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002018",
      "Host VMM Access for a Production TD ": "RO",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "-1",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "EPTP-list address",
      "Description ": [
        "VMFUNC is not supported."
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "NULL_PA (-1)"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002024",
      "Host VMM Access for a Production TD ": "RO",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "-1",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "VMREAD-bitmap address",
      "Description ": [
        "VMCS shadowing is not supported."
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "NULL_PA (-1)"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002026",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "VMWRITE-bitmap address",
      "Description ": [
        "VMCS shadowing is not supported."
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "NULL_PA (-1)"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002028",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "ENCLS-Exiting Bitmap",
      "Description ": [
        "If secondary processor-based exeuction controls' Enable ENCLS Exiting (bit 15) is set to 1, this field is set to all 1\u2019s \u2013  the Intel TDX module injects a #UD into the guest TD.",
        "Else, this field is not initialized."
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "If secondary processor-based exeuction controls' Enable ENCLS Exiting (bit 15) is set to 1, this field is set to all 1\u2019s.",
        "Else, this field is not initialized."
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000202E",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "ENCLV-Exiting Bitmap",
      "Description ": [
        "If secondary processor-based exeuction controls' Enable ENCLV Exiting (bit 28) is set to 1, this field is set to all 1\u2019s \u2013  the Intel TDX module injects a #UD into the guest TD.",
        "Else, this field is not initialized."
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "If secondary processor-based exeuction controls' Enable ENCLV Exiting (bit 28) is set to 1, this field is set to all 1\u2019s.",
        "Else, this field is not initialized."
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002036",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "PML address",
      "Description ": [
        "Address must be:",
        "\u2022 Valid shared physical address",
        "   (HKID bits encode a shared HKID).",
        "\u2022 Aligned on 4KB.",
        "See enable PML execution control."
      ],
      "Type ": "00",
      "Attributes ": "SHARED_HPA",
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "NULL_PA (-1)"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000200E",
      "Host VMM Access for a Production TD ": "RO",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "-1",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0xFFFFFFFFFFFFF000"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "Virtualization-exception information address",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "Address of the VE Info structure in TDVPS, including the TD\u2019s ephemeral HKID"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000202A",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "EPTP index",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "2",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000100000004",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "XSS-Exiting Bitmap",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000202C",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RW",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "low PASID directory address",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": "PRIVATE_HPA",
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "Implementation-dependent"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002038",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "high PASID directory address",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": "PRIVATE_HPA",
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "Implementation-dependent"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000203A",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "Instruction Timeout Control",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004024",
      "Host VMM Access for a Production TD ": "RWS",
      "Host VMM Access for a Debug TD ": "RWS",
      "Host VMM Rd Mask for a Production TD ": "-1",
      "Host VMM Wr Mask for a Production TD ": "-1",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "-1"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "PCONFIG-Exiting Bitmap",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "-1"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000203E",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "HLAT pointer",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002040",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "HLAT prefix size",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "2",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000100000006",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "IA32_SPEC_CTRL mask",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "Bit 8 (DDPD_U) = 1, other bits = 0"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000204A",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Execution Controls",
      "Sub-Sub-Class ": "Other VM-Execution Control Fields",
      "Field Name ": "IA32_SPEC_CTRL shadow",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": null,
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000204C",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Controls",
      "Sub-Sub-Class ": "VM-Exit Controls",
      "Field Name ": "VM-Exit Controls",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "See VM-Exit Ctls page"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400020000400C",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0x00000000",
      "Host VMM Wr Mask for a Production TD ": "0x00000000",
      "Host VMM Rd Mask for a Debug TD ": "0xFFFFFFFF",
      "Host VMM Wr Mask for a Debug TD ": "0x00000000"
    },
    {
      "Sub-Class ": "VM-Exit Controls",
      "Sub-Sub-Class ": "VM-Exit Controls for MSRs",
      "Field Name ": "VM-exit MSR-store count",
      "Description ": [
        "Not used"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400020000400E",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Controls",
      "Sub-Sub-Class ": "VM-Exit Controls for MSRs",
      "Field Name ": "VM-exit MSR-store address",
      "Description ": [
        "Not used"
      ],
      "Type ": "00",
      "Attributes ": "HPA",
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "NULL_PA (-1)"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002006",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Controls",
      "Sub-Sub-Class ": "VM-Exit Controls for MSRs",
      "Field Name ": "VM-exit MSR-load count",
      "Description ": [
        "Not used"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004010",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Controls",
      "Sub-Sub-Class ": "VM-Exit Controls for MSRs",
      "Field Name ": "VM-exit MSR-load address",
      "Description ": [
        "Not used"
      ],
      "Type ": "00",
      "Attributes ": "HPA",
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "NULL_PA (-1)"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002008",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Entry Controls",
      "Sub-Sub-Class ": "VM-Entry Controls",
      "Field Name ": "VM-Entry Controls",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "See VM-Entry Ctls page"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004012",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0x00000000",
      "Host VMM Wr Mask for a Production TD ": "0x00000000",
      "Host VMM Rd Mask for a Debug TD ": "0xFFFFFFFF",
      "Host VMM Wr Mask for a Debug TD ": "0x00000000"
    },
    {
      "Sub-Class ": "VM-Entry Controls",
      "Sub-Sub-Class ": "VM-Entry Controls for MSRs",
      "Field Name ": "VM-entry MSR-load count",
      "Description ": [
        "Not used"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "0"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004014",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Entry Controls",
      "Sub-Sub-Class ": "VM-Entry Controls for MSRs",
      "Field Name ": "VM-entry MSR-load address",
      "Description ": [
        "Not used"
      ],
      "Type ": "00",
      "Attributes ": "HPA",
      "Mutability ": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value ": [
        "NULL_PA (-1)"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000200A",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Entry Controls",
      "Sub-Sub-Class ": "VM-Entry Controls for Event Injection",
      "Field Name ": "VM-entry interruption information",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004016",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Entry Controls",
      "Sub-Sub-Class ": "VM-Entry Controls for Event Injection",
      "Field Name ": "VM-entry exception error code",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004018",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Entry Controls",
      "Sub-Sub-Class ": "VM-Entry Controls for Event Injection",
      "Field Name ": "VM-entry instruction length",
      "Description ": [
        "None"
      ],
      "Type ": "00",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/a"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400020000401A",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Information",
      "Sub-Sub-Class ": "Basic VM-Exit Information",
      "Field Name ": "Exit reason",
      "Description ": [
        "If the Intel TDX module decides to perform a TD exit, it returns this in RAX bits 31:0.",
        "Bit 27 (enclave mode) is not set.",
        "Bit 28 (Pending MTF VM exit) is not set.",
        "Bit 29 (VM exit from VMX root operation) is not set.",
        "Bit 31 (VM-entry failure) is not set."
      ],
      "Type ": "01",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004402",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Information",
      "Sub-Sub-Class ": "Basic VM-Exit Information",
      "Field Name ": "Exit qualification",
      "Description ": [
        "If the Intel TDX module decides to perform a TD exit, it returns this in RCX.  If the exit is due to EPT violation, bits 12-7 of the exit qualification are cleared to 0."
      ],
      "Type ": "01",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006400",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Information",
      "Sub-Sub-Class ": "Basic VM-Exit Information",
      "Field Name ": "Guest-Linear Address",
      "Description ": [
        "None"
      ],
      "Type ": "01",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400030000640A",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Information",
      "Sub-Sub-Class ": "Basic VM-Exit Information",
      "Field Name ": "Guest-physical Address",
      "Description ": [
        "If the Intel TDX module decides to perform a TD exit, it returns this in R8.  It the EPT fault was caused by an access attempt to a private page, the Intel TDX module clears bits 11:0 to 0."
      ],
      "Type ": "01",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300002400",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Information",
      "Sub-Sub-Class ": "Information for VM Exits Due to Vectored Events",
      "Field Name ": "VM-exit interruption information",
      "Description ": [
        "On asynchronous TD exit, the Intel TDX module returns this in R9.  Bits 63:32 are cleared to 0."
      ],
      "Type ": "01",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004404",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Information",
      "Sub-Sub-Class ": "Information for VM Exits Due to Vectored Events",
      "Field Name ": "VM-exit interruption error code",
      "Description ": [
        "None"
      ],
      "Type ": "01",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004406",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Information",
      "Sub-Sub-Class ": "Information for VM Exits That Occur During Event Delivery",
      "Field Name ": "IDT-vectoring information",
      "Description ": [
        "None"
      ],
      "Type ": "01",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004408",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Information",
      "Sub-Sub-Class ": "Information for VM Exits That Occur During Event Delivery",
      "Field Name ": "IDT-vectoring error code",
      "Description ": [
        "None"
      ],
      "Type ": "01",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400020000440A",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Information",
      "Sub-Sub-Class ": "Information for VM Exits Due to Instruction Execution",
      "Field Name ": "VM-exit instruction length",
      "Description ": [
        "None"
      ],
      "Type ": "01",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400020000440C",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Information",
      "Sub-Sub-Class ": "Information for VM Exits Due to Instruction Execution",
      "Field Name ": "VM-exit instruction information",
      "Description ": [
        "None"
      ],
      "Type ": "01",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x002400020000440E",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Information",
      "Sub-Sub-Class ": "Information for VM Exits Due to Instruction Execution",
      "Field Name ": "I/O RCX",
      "Description ": [
        "None"
      ],
      "Type ": "01",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006402",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Information",
      "Sub-Sub-Class ": "Information for VM Exits Due to Instruction Execution",
      "Field Name ": "I/O RSI",
      "Description ": [
        "None"
      ],
      "Type ": "01",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006404",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Information",
      "Sub-Sub-Class ": "Information for VM Exits Due to Instruction Execution",
      "Field Name ": "I/O RDI",
      "Description ": [
        "None"
      ],
      "Type ": "01",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006406",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Information",
      "Sub-Sub-Class ": "Information for VM Exits Due to Instruction Execution",
      "Field Name ": "I/O RIP",
      "Description ": [
        "None"
      ],
      "Type ": "01",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "8",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000300006408",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    },
    {
      "Sub-Class ": "VM-Exit Information",
      "Sub-Sub-Class ": "Information for VM Exits Due to Instruction Execution",
      "Field Name ": "VM-instruction error",
      "Description ": [
        "None"
      ],
      "Type ": "01",
      "Attributes ": null,
      "Mutability ": "Mutable",
      "Initial Value ": [
        "N/A"
      ],
      "Field Size (Bytes) ": "4",
      "Num Fields ": "1",
      "Base FIELD_ID (Hex) ": "0x0024000200004400",
      "Host VMM Access for a Production TD ": "None",
      "Host VMM Access for a Debug TD ": "RO",
      "Host VMM Rd Mask for a Production TD ": "0",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0"
    }
  ],
  "Pin-Based Execution Controls": {
    "VMX Fixed Bits MSR": "IA32_VMX_TRUE_PINBASED_CTLS",
    "Bits": [
      {
        "Bit": "0",
        "Name": "External-interrupt exiting",
        "Description": [
          "The Intel TDX module performs TD Exit"
        ],
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "1",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "2",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "3",
        "Name": "NMI exiting",
        "Description": [
          "The Intel TDX module performs TD Exit"
        ],
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "4",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "5",
        "Name": "Virtual NMIs",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "6",
        "Name": "Activate VMX-preemption timer",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "7",
        "Name": "Process posted interrupts",
        "Description": [
          "Set to 1 by TDH.VP.WR only if a valid posted interrupt descriptor and a valid posted interrupt notification vector are set."
        ],
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "RWS",
        "Host VMM Access for a Debug TD": "RWS"
      },
      {
        "Bit": "8",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "9",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "10",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "11",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "12",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "13",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "14",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "15",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "16",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "17",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "18",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "19",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "20",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "21",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "22",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "23",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "24",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "25",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "26",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "27",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "28",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "29",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "30",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "31",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      }
    ]
  },
  "Primary Processor-Based Execution Controls": {
    "VMX Fixed Bits MSR": "IA32_VMX_TRUE_PROCBASED_CTLS",
    "Bits": [
      {
        "Bit": "0",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "1",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "2",
        "Name": "Interrupt-window exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "3",
        "Name": "Use TSC offsetting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "4",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "5",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "6",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "7",
        "Name": "HLT exiting",
        "Description": [
          "The Intel TDX module injects a #VE into the guest TD"
        ],
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "8",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "9",
        "Name": "INVLPG exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "10",
        "Name": "MWAIT exiting",
        "Description": [
          "The Intel TDX module injects a #VE into the guest TD"
        ],
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "~virt. CPUID(1).ECX[3] (MONITOR)",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "11",
        "Name": "RDPMC exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "~TDCS.ATTRIBUTES.PERFMON",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "12",
        "Name": "RDTSC exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "13",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "14",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "15",
        "Name": "CR3-load exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "16",
        "Name": "CR3-store exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "17",
        "Name": "Activate tertiary controls",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "18",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "19",
        "Name": "CR8-load exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "20",
        "Name": "CR8-store exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "21",
        "Name": "Use TPR shadow",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "22",
        "Name": "NMI-window exiting",
        "Description": [
          "Set by the Intel TDX module before entering the guest TD \u2013  based on TDVPS.PEND_NMI"
        ],
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "23",
        "Name": "MOV-DR exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "24",
        "Name": "Unconditional I/O exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "25",
        "Name": "Use I/O bitmaps",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "26",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "27",
        "Name": "Monitor trap flag",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "28",
        "Name": "Use MSR bitmaps",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "29",
        "Name": "MONITOR exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "~virt. CPUID(1).ECX[3] (MONITOR)",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "30",
        "Name": "PAUSE exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "31",
        "Name": "Activate secondary controls",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      }
    ]
  },
  "Secondary Processor-Based Execution Controls": {
    "VMX Fixed Bits MSR": "IA32_VMX_TRUE_PROCBASED_CTLS2",
    "Bits": [
      {
        "Bit": "0",
        "Name": "Virtualize APIC accesses",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "1",
        "Name": "Enable EPT",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "2",
        "Name": "Descriptor-table exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "3",
        "Name": "Enable RDTSCP",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "4",
        "Name": "Virtualize x2APIC mode",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "5",
        "Name": "Enable VPID",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "6",
        "Name": "WBINVD exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "7",
        "Name": "Unrestricted guest",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "8",
        "Name": "APIC-register virtualization",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "9",
        "Name": "Virtual-interrupt delivery",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "10",
        "Name": "PAUSE-loop exiting",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "11",
        "Name": "RDRAND exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "12",
        "Name": "Enable INVPCID",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "13",
        "Name": "Enable VM functions",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "14",
        "Name": "VMCS shadowing",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "15",
        "Name": "Enable ENCLS exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "16",
        "Name": "RDSEED exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "17",
        "Name": "Enable PML",
        "Description": [
          "Can be set to 1 only if:",
          "- ATTRIBUTES.DEBUG is 1",
          "- PML address is a valid shared physical address"
        ],
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RWS"
      },
      {
        "Bit": "18",
        "Name": "EPT-violation #VE",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "19",
        "Name": "Conceal VMX from PT",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "20",
        "Name": "Enable XSAVES/XRSTORS",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "21",
        "Name": "PASID translation",
        "Description": [
          "Value is set to 0 if not supported by the CPU"
        ],
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "22",
        "Name": "Mode-based execute control for EPT",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "23",
        "Name": "Enable SPP",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "24",
        "Name": "PT uses guest physical addresses (PT2GPA)",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "25",
        "Name": "Use TSC scaling",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "26",
        "Name": "Enable user-level wait and pause",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "Set to the value of virtualized  CPUID(0x7,0x0).ECX[5]",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "27",
        "Name": "Enable PCONFIG",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "Set to the value of virtualized  CPUID(0x7,0x0).EDX[18]",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "28",
        "Name": "Enable ENCLV exiting",
        "Description": [
          "Value is set to 0 if not supported by the CPU"
        ],
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "29",
        "Name": "Enable EPC Virtualization Extensions",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "30",
        "Name": "Bus-lock detection",
        "Description": [
          "If enabled by the host VMM (using TDH.VP.WR), then the Intel TDX module performs TD Exit on VM exit."
        ],
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "RW",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "31",
        "Name": "Instruction timeout",
        "Description": [
          "If enabled by the host VMM (using TDH.VP.WR), then the Intel TDX module performs TD Exit on VM exit."
        ],
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "RW",
        "Host VMM Access for a Debug TD": "RW"
      }
    ]
  },
  "Tertiary Processor-Based Execution Controls": {
    "VMX Fixed Bits MSR": "IA32_VMX_PROCBASED_CTLS3",
    "Bits": [
      {
        "Bit": "0",
        "Name": "LOADIWKEY exiting",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "1",
        "Name": "Enable HLAT",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "2",
        "Name": "EPT paging-write control",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "3",
        "Name": "Guest-paging verification",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "4",
        "Name": "IPI virtualization",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "5",
        "Name": "GPAW",
        "Description": [
          "0:  GPA.SHARED bit is GPA[47]",
          "1:  GPA.SHARED bit is GPA[51]"
        ],
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "Copied from TDCS.GPAW",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "6",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "7",
        "Name": "Virtualize IA32_SPEC_CTRL",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "virt. CPUID(7,2).EDX[3] != hw CPUID(7,2).EDX[3]",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "8",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "9",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "10",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "11",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "12",
        "Name": "PEBS2GPA",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "13",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "14",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "15",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "16",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "17",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "18",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "19",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "20",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "21",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "22",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "23",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "24",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "25",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "26",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "27",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "28",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "29",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "30",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "31",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "32",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "33",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "34",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "35",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "36",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "37",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "38",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "39",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "40",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "41",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "42",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "43",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "44",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "45",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "46",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "47",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "48",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "49",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "50",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "51",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "52",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "53",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "54",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "55",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "56",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "57",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "58",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "59",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "60",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "61",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "62",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "63",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      }
    ]
  },
  "VM-Exit Controls": {
    "VMX Fixed Bits MSR": "IA32_VMX_TRUE_EXIT_CTLS",
    "Bits": [
      {
        "Bit": "0",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "1",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "2",
        "Name": "Save debug controls",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "3",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "4",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "5",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "6",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "7",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "8",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "9",
        "Name": "Host address-space size",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "10",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "11",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "12",
        "Name": "Load IA32_PERF_GLOBAL_CTRL",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "13",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "14",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "15",
        "Name": "Acknowledge interrupt on exit",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "16",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "17",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "18",
        "Name": "Save IA32_PAT",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "19",
        "Name": "Load IA32_PAT",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "20",
        "Name": "Save IA32_EFER",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "21",
        "Name": "Load IA32_EFER",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "22",
        "Name": "Save VMX-preemption time value",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "23",
        "Name": "Clear IA32_BNDCFGS",
        "Description": [
          "Deprecated"
        ],
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "24",
        "Name": "Conceal VMX from PT",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "25",
        "Name": "Clear IA32_RTIT_CTL",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "26",
        "Name": "Clear IA32_LBR_CTL",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "27",
        "Name": "Clear UINV",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "28",
        "Name": "Load host CET state",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "29",
        "Name": "Load host PKRS",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "30",
        "Name": "Save IA32_PERF_GLOBAL_CTRL",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "= (TDCS.ATTRIBUTES.PERFMON | TDCS.ATTRIBUTES.DEBUG)",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "31",
        "Name": "Activate secondary controls",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      }
    ]
  },
  "VM-Entry Controls": {
    "VMX Fixed Bits MSR": "IA32_VMX_TRUE_ENTRY_CTLS",
    "Bits": [
      {
        "Bit": "0",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "1",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "2",
        "Name": "Load debug controls",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "3",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "4",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "5",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "6",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "7",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "8",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "9",
        "Name": "IA-32e mode guest",
        "Description": [
          "Written by the CPU on VM exit"
        ],
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "10",
        "Name": "Entry to SMM",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "11",
        "Name": "Deactivate dual-monitor treatment",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "12",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "13",
        "Name": "Load IA32_PERF_GLOBAL_CTRL",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "14",
        "Name": "Load IA32_PAT",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "15",
        "Name": "Load IA32_EFER",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "16",
        "Name": "Load IA32_BNDCFGS",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "17",
        "Name": "Conceal VMX from PT",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "18",
        "Name": "Load IA32_RTIT_CTL",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "19",
        "Name": "Load UINV",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "20",
        "Name": "Load CET state",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "21",
        "Name": "Load IA32_LBR_CTL",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "22",
        "Name": "Load guest PKRS",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "= (TDCS.ATTRIBUTES.PKRS | TDCS.ATTRIBUTES.DEBUG)",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "23",
        "Name": "Load FRED",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "24",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "25",
        "Name": "TD Telemetry",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "= TDCS.ATTRIBUTES.PMT_PROF && MSR[32+25]",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "26",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "27",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "28",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "29",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "30",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "31",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "MSR",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      }
    ]
  },
  "EPTP": {
    "Bit Fields": [
      {
        "MSB": "2",
        "LSB": "0",
        "Size": "3",
        "Name": "EPT Memory Type",
        "Description": [
          "Set to WB"
        ],
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "6",
        "Host VMM Access for a Production TD": "RO",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "MSB": "5",
        "LSB": "3",
        "Size": "3",
        "Name": "EPT Level",
        "Description": [
          "1 less than the EPT page-walk length.",
          "Valid values are 4 or 3.  If GPAW is 1, then EPT level must be 4."
        ],
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "Copied from TDCS.EPTP",
        "Host VMM Access for a Production TD": "RO",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "MSB": "6",
        "LSB": "6",
        "Size": "1",
        "Name": "Enable A/D Bits",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "Copied from TDCS.EPTP",
        "Host VMM Access for a Production TD": "RO",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "MSB": "7",
        "LSB": "7",
        "Size": "1",
        "Name": "Enable supervisor shadow stack control",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "RO",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "MSB": "11",
        "LSB": "8",
        "Size": "4",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "RO",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "MSB": "51",
        "LSB": "12",
        "Size": "40",
        "Name": "EPML5/4 PA",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "Copied on TDH.VP.INIT from TDCS.EPTP \u2013 HKID bits are cleared to 0",
        "Host VMM Access for a Production TD": "RO",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "MSB": "63",
        "LSB": "52",
        "Size": "12",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "RO",
        "Host VMM Access for a Debug TD": "RO"
      }
    ]
  },
  "Shared EPTP": {
    "Bit Fields": [
      {
        "MSB": "11",
        "LSB": "0",
        "Size": "12",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": null,
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "MSB": "51",
        "LSB": "12",
        "Size": "40",
        "Name": "EPML5/4 PA",
        "Description": [
          "A guest TD attempt to access a Shared GPA before this field is updated by the host VMM results in an EPT Misconfiguration TD exit.",
          "TDH.VP.WR checks that this is a valid shared physical address (HKID bits encode a shared HKID) aligned on 4KB."
        ],
        "Mutability": "Mutable",
        "Initial Value": "Initialized to bits [51:12] of the physical address (including private HKID) of TDCS.ZERO_PAGE, a page whose content is all 0.",
        "Host VMM Access for a Production TD": "RWS",
        "Host VMM Access for a Debug TD": "RWS"
      },
      {
        "MSB": "63",
        "LSB": "52",
        "Size": "12",
        "Name": "Reserved",
        "Description": null,
        "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": null,
        "Host VMM Access for a Debug TD": "RO"
      }
    ]
  }
}