{
  "Header": {
    "Copyright": "Copyright (c) 2022 - 2023 Intel Corporation. All rights reserved.",
    "Info": "TDX L2 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": [
        "See the Guest CR0 page"
      ],
      "Type": "10",
      "Attributes": null,
      "Mutability": "Mutable",
      "Initial Value": "0x0000000000000021",
      "Field Size (Bytes)": "8",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006800",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RWS",
      "L1 VMM Access": "RWS",
      "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 ": "0x000000008005001F",
      "L1 VMM Rd Mask": "0xFFFFFFFFFFFFFFFF",
      "L1 VMM Wr Mask": "0x000000008005001F"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006802",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RWS",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "Sub-Class": "Guest State",
      "Sub-Sub-Class": "Guest Register State",
      "Field Name": "Guest CR4",
      "Description": [
        "See the Guest CR4 page"
      ],
      "Type": "10",
      "Attributes": null,
      "Mutability": "Mutable",
      "Initial Value": "0x0000000000002040",
      "Field Size (Bytes)": "8",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006804",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RWS",
      "L1 VMM Access": "RWS",
      "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 ": "0x000000001BFF1FBF",
      "L1 VMM Rd Mask": "0xFFFFFFFFFFFFFFFF",
      "L1 VMM Wr Mask": "0x000000001BFF1FBF"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000681A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000681C",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000681E",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006820",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000100000800",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000100000802",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000100000804",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000100000806",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000100000808",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x002400010000080A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x002400010000080C",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x002400010000080E",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006806",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006808",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000680A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000680C",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000680E",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006810",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006812",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006814",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006816",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006818",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004800",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004802",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004804",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004806",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004808",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x002400020000480A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x002400020000480C",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x002400020000480E",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004810",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004812",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004814",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004816",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004818",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x002400020000481A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x002400020000481C",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x002400020000481E",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004820",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004822",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002802",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RWS",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "0xFFFFFFFFFFFFDFFF",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400020000482A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006824",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006826",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002808",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002804",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002806",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "0x0000000000000501"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006828",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000682A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000682C",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002814",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002816",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002818",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004826",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004824",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006822",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "Sub-Class": "Guest State",
      "Sub-Sub-Class": "Guest Non-Register State",
      "Field Name": "VMX-Preemption Timer Value",
      "Description": [
        "VMX-preemption timer is used by the TDX module"
      ],
      "Type": "10",
      "Attributes": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "4",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x002400020000482E",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "0"
    },
    {
      "Sub-Class": "Guest State",
      "Sub-Sub-Class": "Guest Non-Register State",
      "Field Name": "PDPTEn",
      "Description": [
        "None"
      ],
      "Type": "10",
      "Attributes": "PRIVATE_GPA",
      "Mutability": "Mutable",
      "Initial Value": "NULL_PA (-1)",
      "Field Size (Bytes)": "8",
      "Num Fields": "4\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000280A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000100000810",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000100000812",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "0"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000100000814",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004000",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "0xFFFFFFFF",
      "L1 VMM Wr Mask": "0x00000000"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004002",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RWS",
      "L1 VMM Access": "RWS",
      "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",
      "L1 VMM Rd Mask": "0xFFFFFFFF",
      "L1 VMM Wr Mask": "0x48D99A04"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400020000401E",
      "Host VMM Access for a Production TD": "RWS",
      "Host VMM Access for a Debug TD": "RWS",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "0xFFFFFFFF",
      "L1 VMM Wr Mask": "0x0C513E0C"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002034",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RWS",
      "L1 VMM Access": "RWS",
      "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",
      "L1 VMM Rd Mask": "0xFFFFFFFFFFFFFFFF",
      "L1 VMM Wr Mask": "0x000000000000000E"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002014",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "0"
    },
    {
      "Sub-Class": "VM-Execution Controls",
      "Sub-Sub-Class": "Controls for APIC Virtualization",
      "Field Name": "Virtual-APIC address",
      "Description": [
        "L1 read and write access is to TDVPS.L2_VAPIC_GPA.  On write, TDVPS.L2_VAPIC_HPA is nullified.  The TDX module translates L2_VAPIC_GPA to L2_VAPIC_HPA on demand."
      ],
      "Type": "00",
      "Attributes": "PRIVATE_GPA",
      "Mutability": "Mutable",
      "Initial Value": "NULL_PA (-1)",
      "Field Size (Bytes)": "8",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002012",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "0xFFFFFFFFFFFFF000"
    },
    {
      "Sub-Class": "VM-Execution Controls",
      "Sub-Sub-Class": "Controls for APIC Virtualization",
      "Field Name": "TPR threshold",
      "Description": [
        "None"
      ],
      "Type": "00",
      "Attributes": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "4",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x002400020000401C",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "4\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000201C",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "Sub-Class": "VM-Execution Controls",
      "Sub-Sub-Class": "Controls for APIC Virtualization",
      "Field Name": "Posted-interrupt notification vector",
      "Description": [
        "Posting interrupts to L2 is not supported"
      ],
      "Type": "00",
      "Attributes": null,
      "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value": "0xFFFF",
      "Field Size (Bytes)": "2",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000100000002",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "0"
    },
    {
      "Sub-Class": "VM-Execution Controls",
      "Sub-Sub-Class": "Controls for APIC Virtualization",
      "Field Name": "Posted-interrupt descriptor address",
      "Description": [
        "Posting interrupts to L2 is not supported"
      ],
      "Type": "00",
      "Attributes": "SHARED_HPA",
      "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value": "NULL_PA (-1)",
      "Field Size (Bytes)": "8",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002016",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "0"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000201A",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RWS",
      "L1 VMM Access": "RWS",
      "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 ": "0x0000000000000080",
      "L1 VMM Rd Mask": "0xFFF0000000000FFF",
      "L1 VMM Wr Mask": "0x0000000000000080"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000203C",
      "Host VMM Access for a Production TD": "RWS",
      "Host VMM Access for a Debug TD": "RWS",
      "L1 VMM Access": "None",
      "Host VMM Rd Mask for a Production TD ": "0xFFFFFFFFFFFFFFFF",
      "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",
      "L1 VMM Rd Mask": "0x0000000000000000",
      "L1 VMM Wr Mask": "0x0000000000000000"
    },
    {
      "Sub-Class": "VM-Execution Controls",
      "Sub-Sub-Class": "CR-Related VM-Execution Controls",
      "Field Name": "CR0 Guest/Host Mask",
      "Description": [
        "Actual value is calculated by the TDX module from the TD VMCS' CR0 Guest/Host Mask and the value written by the L1 VMM"
      ],
      "Type": "00",
      "Attributes": null,
      "Mutability": "Mutable",
      "Initial Value": "0xFFFFFFFFFFFFFFFF",
      "Field Size (Bytes)": "8",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006000",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "Sub-Class": "VM-Execution Controls",
      "Sub-Sub-Class": "CR-Related VM-Execution Controls",
      "Field Name": "CR0 Read Shadow",
      "Description": [
        "Actual value is calculated by the TDX module from the TD VMCS' CR0 Read Shadow and the value written by the L1 VMM"
      ],
      "Type": "00",
      "Attributes": null,
      "Mutability": "Mutable",
      "Initial Value": "0x0000000000000021",
      "Field Size (Bytes)": "8",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006004",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "Sub-Class": "VM-Execution Controls",
      "Sub-Sub-Class": "CR-Related VM-Execution Controls",
      "Field Name": "CR4 Guest/Host Mask",
      "Description": [
        "Actual value is calculated by the TDX module from the TD VMCS' CR4 Guest/Host Mask and the value written by the L1 VMM"
      ],
      "Type": "00",
      "Attributes": null,
      "Mutability": "Mutable",
      "Initial Value": "0xFFFFFFFFFFFFFFFF",
      "Field Size (Bytes)": "8",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006002",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "Sub-Class": "VM-Execution Controls",
      "Sub-Sub-Class": "CR-Related VM-Execution Controls",
      "Field Name": "CR4 Read Shadow",
      "Description": [
        "Actual value is calculated by the TDX module from the TD VMCS' CR4 Read Shadow and the value written by the L1 VMM"
      ],
      "Type": "00",
      "Attributes": null,
      "Mutability": "Mutable",
      "Initial Value": "0x0000000000002040",
      "Field Size (Bytes)": "8",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006006",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "Sub-Class": "VM-Execution Controls",
      "Sub-Sub-Class": "CR-Related VM-Execution Controls",
      "Field Name": "CR3-Target Values",
      "Description": [
        "None"
      ],
      "Type": "00",
      "Attributes": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "4\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006008",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "Sub-Class": "VM-Execution Controls",
      "Sub-Sub-Class": "CR-Related VM-Execution Controls",
      "Field Name": "CR3-Target Count",
      "Description": [
        "None"
      ],
      "Type": "00",
      "Attributes": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "4",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x002400020000400A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004004",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "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": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "4",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004006",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "4",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004008",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002000",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002010",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "0"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002032",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "0"
    },
    {
      "Sub-Class": "VM-Execution Controls",
      "Sub-Sub-Class": "Other VM-Execution Control Fields",
      "Field Name": "MSR-Bitmap Address",
      "Description": [
        "The MSR bitmaps page is held as part of TDVPS.  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 L2 MSR Bitmaps page (in TDVPS)",
      "Field Size (Bytes)": "8",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002004",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004026",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "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",
        "Bits 15:2:  TD's HKID"
      ],
      "Type": "00",
      "Attributes": null,
      "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value": "Bits 1:0:    VM index. Bits 15:2:  TD's HKID",
      "Field Size (Bytes)": "2",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000100000000",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "0"
    },
    {
      "Sub-Class": "VM-Execution Controls",
      "Sub-Sub-Class": "Other VM-Execution Control Fields",
      "Field Name": "PLE_GAP",
      "Description": [
        "L1 access isrouted to TDVPS.SHADOW_PLE_GAP.  On write, value is converted to vative TSC value and stored in L2 VMCS."
      ],
      "Type": "00",
      "Attributes": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "4",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004020",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RWS",
      "L1 VMM Access": "RWS",
      "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "Sub-Class": "VM-Execution Controls",
      "Sub-Sub-Class": "Other VM-Execution Control Fields",
      "Field Name": "PLE_Window",
      "Description": [
        "L1 access isrouted to TDVPS.SHADOW_PLE_WINDOW.  On write, value is converted to vative TSC value and stored in L2 VMCS."
      ],
      "Type": "00",
      "Attributes": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "4",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004022",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RWS",
      "L1 VMM Access": "RWS",
      "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002018",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002024",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002026",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002028",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "0"
    },
    {
      "Sub-Class": "VM-Execution Controls",
      "Sub-Sub-Class": "Other VM-Execution Control Fields",
      "Field Name": "ENCLS-Exiting Bitmap",
      "Description": [
        "Set to all 1\u2019s \u2013  the Intel TDX module injects a #UD into the guest TD."
      ],
      "Type": "00",
      "Attributes": null,
      "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value": "All 1s",
      "Field Size (Bytes)": "8",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000202E",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "0"
    },
    {
      "Sub-Class": "VM-Execution Controls",
      "Sub-Sub-Class": "Other VM-Execution Control Fields",
      "Field Name": "ENCLV-Exiting Bitmap",
      "Description": [
        "Set to all 1\u2019s \u2013  the Intel TDX module injects a #UD into the guest TD."
      ],
      "Type": "00",
      "Attributes": null,
      "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value": "All 1s",
      "Field Size (Bytes)": "8",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002036",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000200E",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "0"
    },
    {
      "Sub-Class": "VM-Execution Controls",
      "Sub-Sub-Class": "Other VM-Execution Control Fields",
      "Field Name": "Virtualization-exception information address",
      "Description": [
        "L1 read and write access is to shadow VE info address (as GPA).  The TDX module translates this to HPA on demand.",
        "\"EPT Violation #VE\" control must be 0 if the shadow value of this field is NULL_PA (-1)."
      ],
      "Type": "00",
      "Attributes": "PRIVATE_GPA",
      "Mutability": "TDH.VP.INIT/TDH.IMPORT.VP",
      "Initial Value": "NULL_PA (-1)",
      "Field Size (Bytes)": "8",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000202A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000100000004",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "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": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000202C",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002038",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000203A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004024",
      "Host VMM Access for a Production TD": "RW",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "RO",
      "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "0"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000203E",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "0"
    },
    {
      "Sub-Class": "VM-Execution Controls",
      "Sub-Sub-Class": "Other VM-Execution Control Fields",
      "Field Name": "HLAT pointer",
      "Description": [
        "None"
      ],
      "Type": "00",
      "Attributes": "PRIVATE_GPA",
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002040",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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 ": "0x000FFFFFFFFFF018",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "0x000FFFFFFFFFF018"
    },
    {
      "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": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "2",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000100000006",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000204A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000204C",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400020000400C",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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",
      "L1 VMM Rd Mask": "0xFFFFFFFF",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400020000400E",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002006",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004010",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002008",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "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 Controls table",
      "Field Size (Bytes)": "4",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004012",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0x00000000",
      "L1 VMM Rd Mask": "0xFFFFFFFF",
      "L1 VMM Wr Mask": "0x00000200"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004014",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000200A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "None",
      "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",
      "L1 VMM Rd Mask": "0",
      "L1 VMM Wr Mask": "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004016",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004018",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400020000401A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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."
      ],
      "Type": "01",
      "Attributes": null,
      "Mutability": "Mutable",
      "Initial Value": "N/A",
      "Field Size (Bytes)": "4",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004402",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006400",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400030000640A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300002400",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004404",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004406",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004408",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400020000440A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400020000440C",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x002400020000440E",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006402",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006404",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006406",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "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\",\n",
      "Base FIELD_ID (Hex)": "0x0024000300006408",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    },
    {
      "Sub-Class": "VM-Exit Information",
      "Sub-Sub-Class": "None",
      "Field Name": "VM-instruction error",
      "Description": [
        "None"
      ],
      "Type": "01",
      "Attributes": null,
      "Mutability": "Mutable",
      "Initial Value": "N/A",
      "Field Size (Bytes)": "4",
      "Num Fields": "1\",\n",
      "Base FIELD_ID (Hex)": "0x0024000200004400",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "L1 VMM Access": "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 ": "0",
      "L1 VMM Rd Mask": "-1",
      "L1 VMM Wr Mask": "-1"
    }
  ],
  "Guest CR0": {
    "VMX Fixed Bits MSR": "None",
    "Bits": [
      {
        "Bit": "0",
        "Name": "PE",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "1",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "1",
        "Name": "MP",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "2",
        "Name": "EM",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "3",
        "Name": "TS",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "4",
        "Name": "ET",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "5",
        "Name": "NE",
        "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": "Reserved",
        "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": "Reserved",
        "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": "8",
        "Name": "Reserved",
        "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": "9",
        "Name": "Reserved",
        "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": "10",
        "Name": "Reserved",
        "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": "Reserved",
        "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": "0",
        "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": "0",
        "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": "0",
        "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": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "16",
        "Name": "WP",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "17",
        "Name": "Reserved",
        "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": "18",
        "Name": "AM",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "19",
        "Name": "Reserved",
        "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": "20",
        "Name": "Reserved",
        "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": "21",
        "Name": "Reserved",
        "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": "22",
        "Name": "Reserved",
        "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": "Reserved",
        "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": "Reserved",
        "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": "25",
        "Name": "Reserved",
        "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": "0",
        "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": "0",
        "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": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "29",
        "Name": "NW",
        "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": "CD",
        "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": "31",
        "Name": "PG",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "32",
        "Name": "Reserved",
        "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": "33",
        "Name": "Reserved",
        "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": "34",
        "Name": "Reserved",
        "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": "35",
        "Name": "Reserved",
        "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": "36",
        "Name": "Reserved",
        "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": "37",
        "Name": "Reserved",
        "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": "38",
        "Name": "Reserved",
        "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": "39",
        "Name": "Reserved",
        "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": "40",
        "Name": "Reserved",
        "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": "41",
        "Name": "Reserved",
        "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": "42",
        "Name": "Reserved",
        "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": "43",
        "Name": "Reserved",
        "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": "44",
        "Name": "Reserved",
        "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": "45",
        "Name": "Reserved",
        "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": "46",
        "Name": "Reserved",
        "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": "47",
        "Name": "Reserved",
        "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": "48",
        "Name": "Reserved",
        "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": "49",
        "Name": "Reserved",
        "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": "50",
        "Name": "Reserved",
        "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": "51",
        "Name": "Reserved",
        "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": "52",
        "Name": "Reserved",
        "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": "53",
        "Name": "Reserved",
        "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": "54",
        "Name": "Reserved",
        "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": "55",
        "Name": "Reserved",
        "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": "56",
        "Name": "Reserved",
        "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": "57",
        "Name": "Reserved",
        "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": "58",
        "Name": "Reserved",
        "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": "59",
        "Name": "Reserved",
        "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": "60",
        "Name": "Reserved",
        "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": "61",
        "Name": "Reserved",
        "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": "62",
        "Name": "Reserved",
        "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": "63",
        "Name": "Reserved",
        "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"
      }
    ]
  },
  "Guest CR4": {
    "VMX Fixed Bits MSR": "None",
    "Bits": [
      {
        "Bit": "0",
        "Name": "VME",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "1",
        "Name": "PVI",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "2",
        "Name": "TSD",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "3",
        "Name": "DE",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "4",
        "Name": "PSE",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "5",
        "Name": "PAE",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "6",
        "Name": "MCE",
        "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": "PGE",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "8",
        "Name": "PCE",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "9",
        "Name": "OSFXSR",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "10",
        "Name": "OSXMMEXCPT",
        "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": "UMIP",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "12",
        "Name": "LA57",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "13",
        "Name": "VMXE",
        "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": "SMXE",
        "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": "Reserved",
        "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": "16",
        "Name": "FSGSBASE",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "17",
        "Name": "PCIDE",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "18",
        "Name": "OSXSAVE",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "19",
        "Name": "KL",
        "Description": [
          "Writable by L1 only if TDCS.ATTRIBUTES.KL is 1"
        ],
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "20",
        "Name": "SMEP",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "21",
        "Name": "SMAP",
        "Description": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "22",
        "Name": "PKE",
        "Description": [
          "Writable by L1 only if TDCS.XFAM[9] is 1"
        ],
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "23",
        "Name": "CET",
        "Description": [
          "Writable by L1 only if TDCS.XFAM[12:11] are 11"
        ],
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "24",
        "Name": "PKS",
        "Description": [
          "Writable by L1 only if TDCS.ATTRIBUTES.PKS is 1"
        ],
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "25",
        "Name": "UINTR",
        "Description": [
          "Writable by L1 only if TDCS.XFAM[14] is 1"
        ],
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "26",
        "Name": "Reserved",
        "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": "27",
        "Name": "LASS",
        "Description": [
          "Writable by L1 only if TDCS.ATTRIBUTES.LASS is 1"
        ],
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "28",
        "Name": "LAM_SUP",
        "Description": [
          "Writable by L1 only the CPU supports it (according to IA32_VMX_CR4_FIXED* MSRs)"
        ],
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "29",
        "Name": "Reserved",
        "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": "Reserved",
        "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": "31",
        "Name": "Reserved",
        "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": "32",
        "Name": "FRED",
        "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": "33",
        "Name": "Reserved",
        "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": "34",
        "Name": "Reserved",
        "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": "35",
        "Name": "Reserved",
        "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": "36",
        "Name": "Reserved",
        "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": "37",
        "Name": "Reserved",
        "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": "38",
        "Name": "Reserved",
        "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": "39",
        "Name": "Reserved",
        "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": "40",
        "Name": "Reserved",
        "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": "41",
        "Name": "Reserved",
        "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": "42",
        "Name": "Reserved",
        "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": "43",
        "Name": "Reserved",
        "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": "44",
        "Name": "Reserved",
        "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": "45",
        "Name": "Reserved",
        "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": "46",
        "Name": "Reserved",
        "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": "47",
        "Name": "Reserved",
        "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": "48",
        "Name": "Reserved",
        "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": "49",
        "Name": "Reserved",
        "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": "50",
        "Name": "Reserved",
        "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": "51",
        "Name": "Reserved",
        "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": "52",
        "Name": "Reserved",
        "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": "53",
        "Name": "Reserved",
        "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": "54",
        "Name": "Reserved",
        "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": "55",
        "Name": "Reserved",
        "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": "56",
        "Name": "Reserved",
        "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": "57",
        "Name": "Reserved",
        "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": "58",
        "Name": "Reserved",
        "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": "59",
        "Name": "Reserved",
        "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": "60",
        "Name": "Reserved",
        "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": "61",
        "Name": "Reserved",
        "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": "62",
        "Name": "Reserved",
        "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": "63",
        "Name": "Reserved",
        "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"
      }
    ]
  },
  "Pin-Based Execution Controls": {
    "VMX Fixed Bits MSR": "None",
    "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": [
          "Posting interrupts to L2 is not allowed"
        ],
        "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": "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": "None",
    "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": [
          "VM exit causes L2-to-L1 exit"
        ],
        "Mutability": "Mutable",
        "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": [
          "TBD - may need to open if L1 VMM needs to control TSC"
        ],
        "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": [
          "#VE injection if TDVPS.ENABLE_EXTENDED_VE, else L2-to-L1 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": "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": "Mutable",
        "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": [
          "#VE injection if TDVPS.ENABLE_EXTENDED_VE, else L2-to-L1 exit"
        ],
        "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": [
          "Writable only if ATTRIBUTES.PERFMON is 1; VM exit causes L2-to-L1 exit."
        ],
        "Mutability": "Mutable",
        "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": [
          "VM exit causes L2-to-L1 exit"
        ],
        "Mutability": "Mutable",
        "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": [
          "VM exit causes L2-to-L1 exit"
        ],
        "Mutability": "Mutable",
        "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": [
          "VM exit causes L2-to-L1 exit"
        ],
        "Mutability": "Mutable",
        "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": [
          "VM exit causes L2-to-L1 exit"
        ],
        "Mutability": "Mutable",
        "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": [
          "VM exit causes L2-to-L1 exit"
        ],
        "Mutability": "Mutable",
        "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": [
          "VM exit causes L2-to-L1 exit"
        ],
        "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": [
          "VM exit causes L2-to-L1 exit"
        ],
        "Mutability": "Mutable",
        "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": [
          "TBD - interaction with 0/1-step"
        ],
        "Mutability": "Mutable",
        "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": [
          "#VE injection if TDVPS.ENABLE_EXTENDED_VE, else L2-to-L1 exit"
        ],
        "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": [
          "VM exit causes L2-to-L1 exit"
        ],
        "Mutability": "Mutable",
        "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": "None",
    "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": "Mutable",
        "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": "Mutable",
        "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": [
          "#VE injection if TDVPS.ENABLE_EXTENDED_VE, else L2-to-L1 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": "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": "Mutable",
        "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": [
          "VM exit causes L2-to-L1 exit"
        ],
        "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": [
          "VM exit causes L2-to-L1 exit"
        ],
        "Mutability": "Mutable",
        "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": "Mutable",
        "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": [
          "VM-Function Controls is 0, so VMFUNC caused a VM exit and L2-to-L1 exit"
        ],
        "Mutability": "Mutable",
        "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": [
          "Value is set to 0 if not supported by the CPU, VM exit causes L2-to-L1 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": "16",
        "Name": "RDSEED exiting",
        "Description": [
          "VM exit causes L2-to-L1 exit"
        ],
        "Mutability": "Mutable",
        "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": [
          "Virtualization-exception information address shadow must be a valid private GPA to set this bit to 1"
        ],
        "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": "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": "Mutable",
        "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": 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": "Mode-based execute control for EPT",
        "Description": null,
        "Mutability": "Mutable",
        "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": [
          "Writable only if the value of the TD's virtualized CPUID(0x7,0x0).ECX[5] (WAITPKG) is 1"
        ],
        "Mutability": "Mutable",
        "Initial Value": "Set to the value of virtualized  CPUID(0x7,0x0).ECX[5] (WAITPKG)",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "RO"
      },
      {
        "Bit": "27",
        "Name": "Enable PCONFIG",
        "Description": [
          "Writable only if the value of the TD's virtualized CPUID(0x7,0x0).EDX[18] (PCONFIG) is 1.  PCONFIG-exiting bitmap is all 1, so VM exit causes an L2-to-L1 exit."
        ],
        "Mutability": "Mutable",
        "Initial Value": "Set to the value of virtualized  CPUID(0x7,0x0).EDX[18] (PCONFIG)",
        "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": null,
        "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": null,
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "RW",
        "Host VMM Access for a Debug TD": "RW"
      },
      {
        "Bit": "",
        "Name": "",
        "Description": null,
        "Mutability": "",
        "Initial Value": "",
        "Host VMM Access for a Production TD": "None",
        "Host VMM Access for a Debug TD": "None"
      }
    ]
  },
  "Tertiary Processor-Based Execution Controls": {
    "VMX Fixed Bits MSR": "None",
    "Bits": [
      {
        "Bit": "0",
        "Name": "LOADIWKEY exiting",
        "Description": [
          "If TDCS.ATTRIBUTES.KL is 1, LOADIWKEY execution by L2 results in an L2-->L1 exit"
        ],
        "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": "Mutable",
        "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": "Mutable",
        "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": "Mutable",
        "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": "DISABLE_VL512",
        "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": "None",
    "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": "None",
    "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": "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"
      }
    ]
  },
  "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"
        ],
        "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": [
          "Can be set to 1 only if CET is enabled to the TD (in XFAM)"
        ],
        "Mutability": "Mutable",
        "Initial Value": "0",
        "Host VMM Access for a Production TD": "RO",
        "Host VMM Access for a Debug TD": "RWS"
      },
      {
        "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": "Set to the L2 SEPT root page (in TDCS) HPA.  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": "RO",
        "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": "RO",
        "Host VMM Access for a Debug TD": "RO"
      }
    ]
  }
}