{
  "Header": {
    "Copyright": "Copyright (c) 2022 - 2023 Intel Corporation. All rights reserved.",
    "Info": "TDX TD-Scope Metadata",
    "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": [
    {
      "Control Structure": "TDR",
      "Class": "TD Management",
      "Field Name": "FATAL",
      "Description": [
        "Indicates a fatal error, e.g., #MC during TD operation."
      ],
      "Type": "Boolean",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "False",
      "Field Size (Bytes)": "1",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "1",
      "Base FIELD_ID (Hex)": "0x8010000000000001",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDR",
      "Class": "TD Management",
      "Field Name": "NUM_TDCX",
      "Description": [
        "Number of TDCX pages that have been added by TDH.MNG.ADDCX"
      ],
      "Type": "32b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "0",
      "Field Size (Bytes)": "4",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "4",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x8010000200000002",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDR",
      "Class": "TD Management",
      "Field Name": "CHLDCNT",
      "Description": [
        "The number of 4KB child pages (including opaque control structure pages) associated with this TDR"
      ],
      "Type": "64b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x8010000300000004",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDR",
      "Class": "TD Management",
      "Field Name": "LIFECYCLE_STATE",
      "Description": [
        "The life cycle state of this TD.",
        "LIFECYCLE_STATE values below are provided for debug only; they are subject to change in future TDX module versions:",
        "0:  TD_HKID_ASSIGNED ",
        "1:  TD_KEYS_CONFIGURED",
        "2:  TD_BLOCKED",
        "3:  TD_TEARDOWN"
      ],
      "Type": "LIFECYCLE_STATE",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "TD_HKID_ASSIGNED",
      "Field Size (Bytes)": "4",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "4",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x8010000200000005",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDR",
      "Class": "TD Management",
      "Field Name": "TDCX_PA",
      "Description": [
        "Physical addresses of the TDCX pages"
      ],
      "Type": "Array of Physical Address",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "N/A",
      "Field Size (Bytes)": "8",
      "Num Fields": "12",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "96",
      "Base FIELD_ID (Hex)": "0x8010000300000010",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDR",
      "Class": "TD Management",
      "Field Name": "TD_UUID",
      "Description": [
        "Universally Unique Identifier of the TD"
      ],
      "Type": "256-bit blob",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.CREATE",
      "Initial Value": "Random",
      "Field Size (Bytes)": "32",
      "Num Fields": "1",
      "Num Elements": "4",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "32",
      "Base FIELD_ID (Hex)": "0x8010000300000020",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDR",
      "Class": "Key Management",
      "Field Name": "HKID",
      "Description": [
        "Private HKID"
      ],
      "Type": "16b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.CREATE",
      "Initial Value": "From TDH.MNG.CREATE input",
      "Field Size (Bytes)": "2",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "2",
      "Base FIELD_ID (Hex)": "0x8110000100000001",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDR",
      "Class": "Key Management",
      "Field Name": "PKG_CONFIG_BITMAP",
      "Description": [
        "Bitmap that indicates on which package TDH.MNG.KEY.CONFIG was executed successfully using this private key entry"
      ],
      "Type": "Bitmap",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x8110000300000002",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDR",
      "Class": "TD Preserving",
      "Field Name": "HANDOFF_VERSION",
      "Description": [
        "The handoff version to which this TD is committed"
      ],
      "Type": "16b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "MODULE_HV ",
      "Field Size (Bytes)": "2",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "2",
      "Base FIELD_ID (Hex)": "0x8210000100000000",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDR",
      "Class": "TD Preserving",
      "Field Name": "SEAMDB_INDEX",
      "Description": [
        "The index of the SEAMDB entry that holds the TDX module\u2019s TCB at TD creation time."
      ],
      "Type": "64b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.CREATE",
      "Initial Value": "From SEAMDB_GETREF",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x8210000300000001",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDR",
      "Class": "TDX_CONNECT_TDR",
      "Field Name": "TDI_REF_CNT",
      "Description": [
        "Number of device interfaces attached to the TD (i.e. DEVIFCS owned by the TD). This TDR page can be reclaimed only if this counter is 0"
      ],
      "Type": "64-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x8310000300000001",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "TD Management",
      "Field Name": "NUM_VCPUS",
      "Description": [
        "The number of VCPU that have been successfully initialized (by TDH.VP.INIT) or imported (by TDH.IMPORT.STATE.VP)"
      ],
      "Type": "32b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "0",
      "Field Size (Bytes)": "4",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "4",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x9010000200000001",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "TD Management",
      "Field Name": "NUM_ASSOC_VCPUS",
      "Description": [
        "The number of VCPUS associated with LPs \u2013 i.e., the LPs might hold TLB translations and/or cached TD VMCS"
      ],
      "Type": "32b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "4",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "4",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x9010000200000002",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "TD Management",
      "Field Name": "OP_STATE",
      "Description": [
        "See the [ABI Spec]"
      ],
      "Type": "OP_STATE",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "UNINITIALIZED",
      "Field Size (Bytes)": "4",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "4",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x9010000200000004",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "TD Management",
      "Field Name": "NUM_L2_VMS",
      "Description": [
        "Number of L2 VMs"
      ],
      "Type": "16b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "0",
      "Field Size (Bytes)": "2",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "2",
      "Base FIELD_ID (Hex)": "0x9010000100000005",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "ATTRIBUTES",
      "Description": [
        "TD attributes"
      ],
      "Type": "ATTRIBUTES",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "From TDH.MNG.INIT input",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x1110000300000000",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "XFAM",
      "Description": [
        "Extended Features Available Mask:  indicates the extended user and system features which are available for the TD.",
        "Copied to each TDVPS on TDH.VP.INIT."
      ],
      "Type": "XCR0",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "From TDH.MNG.INIT input",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x1110000300000001",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "MAX_VCPUS",
      "Description": [
        "Maximum number of VCPUs"
      ],
      "Type": "32b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "From TDH.MNG.INIT input",
      "Field Size (Bytes)": "4",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "4",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x1110000200000002",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "GPAW",
      "Description": [
        "This bit has the same meaning as the VMCS GPAW execution control:",
        "0:  GPA.SHARED bit is GPA[47]",
        "1:  GPA.SHARED bit is GPA[51]"
      ],
      "Type": "Boolean",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "From TDH.MNG.INIT input",
      "Field Size (Bytes)": "1",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "1",
      "Base FIELD_ID (Hex)": "0x1110000000000003",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "EPTP",
      "Description": [
        "TD-scope Secure EPT pointer:  format is the same as the VMCS EPTP execution control; copied to each TD VMCS EPTP on TDH.VP.INIT"
      ],
      "Type": "EPTP",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "From TDH.MNG.INIT input",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x1110000300000004",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0xFFF0000000000FFF",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "TSC_OFFSET",
      "Description": [
        "TD-scope TSC offset execution control:  copied to each TD VMCS TSC-offset execution control on TDH.VP.INIT"
      ],
      "Type": "64b unsigned Integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "From TSC_. FREQUENCY and rdtsc",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x111000030000000A",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "TSC_MULTIPLIER",
      "Description": [
        "TD-scope TSC multiplier execution control:  copied to each TD VMCS TSC-multiplier execution control on TDH.VP.INIT"
      ],
      "Type": "64b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "From TSC_. FREQUENCY",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x111000030000000B",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "TSC_FREQUENCY",
      "Description": [
        "Virtual TSC frequency \u2013 in units of 25MHz"
      ],
      "Type": "16b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "From TDH.MNG.INIT input",
      "Field Size (Bytes)": "2",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "2",
      "Base FIELD_ID (Hex)": "0x111000010000000C",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "NUM_CPUID_VALUES",
      "Description": [
        "Number of valid fields in CPUID_VALUES"
      ],
      "Type": "16b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "None",
      "Field Size (Bytes)": "2",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "2",
      "Base FIELD_ID (Hex)": "0x911000010000000E",
      "Host VMM Access for a Production TD": "ROS",
      "Host VMM Access for a Debug TD": "ROS",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "XBUFF_SIZE",
      "Description": [
        "  "
      ],
      "Type": "Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "From CPUID and XFAM",
      "Field Size (Bytes)": "4",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "4",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x911000020000000F",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "NOTIFY_ENABLES",
      "Description": [
        "Enable guest notification of events:",
        "Bit 0:      Notify when Zero Step attack is suspected",
        "Bits 63:1:  Reserved, must be 0"
      ],
      "Type": "Bitmap",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9110000300000010",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RW",
      "Guest Access": "RW",
      "Migration TD 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 ": "0x0000000000000001",
      "Guest Rd Mask": "0x0000000000000001",
      "Guest Wr Mask": "0x0000000000000001",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "HP_LOCK_TIMEOUT",
      "Description": [
        "Host priority timeout value, in usec (internally, stored in TSC tick units)"
      ],
      "Type": "Unsigned 32b integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "1 sec",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9110000300000011",
      "Host VMM Access for a Production TD": "RWS",
      "Host VMM Access for a Debug TD": "RWS",
      "Guest Access": "None",
      "Migration TD Access": "None",
      "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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "VM_CTLS",
      "Description": [
        "An array of 4 per-VM controls that may be modified by the host VMM during guest TD run time",
        "See the [ABI Spec] for details."
      ],
      "Type": "Array of 64-bit bitmaps",
      "VM Applicability": "L1_AND_L2",
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "4",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "32",
      "Base FIELD_ID (Hex)": "0x9110000300000012",
      "Host VMM Access for a Production TD": "RW",
      "Host VMM Access for a Debug TD": "RW",
      "Guest Access": "None",
      "Migration TD Access": "None",
      "Host VMM Rd Mask for a Production TD ": "-1",
      "Host VMM Wr Mask for a Production TD ": "0x000000000000000F",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0x000000000000000F",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "CONFIG_FLAGS",
      "Description": [
        "Non-attested TD configuration flags"
      ],
      "Type": "64b bitmap",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "From TDH.MNG.INIT input",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9110000300000016",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "TD_CTLS",
      "Description": [
        "A bitmap of TD controls that may be modified by the guest TD during its run time",
        "See [ABI Spec] for details"
      ],
      "Type": "64b bitmap",
      "VM Applicability": "L1_ONLY",
      "Mutability": "Mutable",
      "Initial Value": "From TDH.MNG.INIT input",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9110000300000017",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RWS",
      "Migration TD 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",
      "Guest Rd Mask": "0x800000000000001F",
      "Guest Wr Mask": "0x800000000000001F",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "VIRT_MAXPA",
      "Description": [
        "Virtual MAXPA",
        "A value of 0 is special; it indicates a virtual MAXPA of 52"
      ],
      "Type": "Unsigned 8-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "Calculated based CPUID(0x80000008).EAX[7:0] configuration",
      "Field Size (Bytes)": "1",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "1",
      "Base FIELD_ID (Hex)": "0x9110000000000018",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "TOPOLOGY_ENUM_CONFIGURED",
      "Description": [
        "Indicates whether virtual topology enumeration has been successfully configured"
      ],
      "Type": "Boolean",
      "VM Applicability": null,
      "Mutability": "TDH.VP.INIT/ TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "True, may be cleared  during VCPU initializations",
      "Field Size (Bytes)": "1",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "1",
      "Base FIELD_ID (Hex)": "0x9110000000000019",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "VE_REDUCTION_VALID",
      "Description": [
        "Indicates whether #VE reduction has been successfully configured"
      ],
      "Type": "Boolean",
      "VM Applicability": null,
      "Mutability": "TDH.VP.INIT/ TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "True, may be cleared  during VCPU initializations",
      "Field Size (Bytes)": "1",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "1",
      "Base FIELD_ID (Hex)": "0x911000000000001A",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "CPUID_VALID",
      "Description": [
        "Non-architectural - an array of boolean flag, indicating the validity of CPUID_VALUES.  Indexed by the internal CPUID lookup table indexing."
      ],
      "Type": "Array of boolean",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "Set to 1 when setting or importing a CPUID_VALUE entry.",
      "Field Size (Bytes)": "1",
      "Num Fields": "80",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "80",
      "Base FIELD_ID (Hex)": "0x9110000000000080",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "XBUFF_OFFSETS",
      "Description": [
        "XSAVE buffer components offsets \u2013 calculated by TDH.MNG.INIT based on XFAM"
      ],
      "Type": "Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "From CPUID and XFAM",
      "Field Size (Bytes)": "4",
      "Num Fields": "20",
      "Num Elements": "1",
      "Element Size (Bytes)": "4",
      "Overall Size (Bytes)": "80",
      "Base FIELD_ID (Hex)": "0x9110000200000800",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "RATE_LIMIT_TIMEOUT_TSC",
      "Description": [
        "Timeout value, used for limiting the rate at which long-latency guest-side interface functions can be called, in TSC units"
      ],
      "Type": "64-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "Calculated based on a constant timeout in usec",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9110000300000020",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "CPUID_FIXED0_BITMAP",
      "Description": [
        "Bitmap of CPUID leaves which return fixed-0 values.  See the [ABI Spec] for details"
      ],
      "Type": "64-bit bitmap",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "From lookup table",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9110000300000021",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "CPUID4_NATIVE_VALUES",
      "Description": [
        "Native values of CPUID(4) sub-leaves 0 through 3 at the time of TD initialization"
      ],
      "Type": "Array of CPUID_VALUES",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "From CPUID(4)",
      "Field Size (Bytes)": "16",
      "Num Fields": "4",
      "Num Elements": "4",
      "Element Size (Bytes)": "4",
      "Overall Size (Bytes)": "64",
      "Base FIELD_ID (Hex)": "0x9110000200000200",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "FEATURE_PARAVIRT_CTLS",
      "Description": [
        "Guest TD fine-granined control of CPU feaures paravirtualization.  See the [ABI Spec] for details"
      ],
      "Type": "64-bit bitmap",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "All-0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9110000300000022",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RWS",
      "Migration TD 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",
      "Guest Rd Mask": "0x00000FFF",
      "Guest Wr Mask": "0x00000FFF",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "FILTERED_EVENTS_COUNT",
      "Description": [
        "Counter of the number of times a Perfmon event setting by the guest TD has been filtered out"
      ],
      "Type": "64-bit unsigned integer",
      "VM Applicability": "L1_AND_L2",
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "4",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "32",
      "Base FIELD_ID (Hex)": "0x9110000300000023",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "FIELD_SUPPORT_AT_INIT",
      "Description": [
        "Indicates support of various fields at TD initialization time (TDH.MNG.INIT and TDH.IMPORT.STATE.IMMUTABLE) or migration initalization time (TDH.*PORT.STATE.IMMUTABLE).  This field is used to support backward compatibility on TD-preserving updates where the TD was created or imported by an older TDX module.  For details, see the [ABI Spec]."
      ],
      "Type": "32-bit bitmap",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.EXPORT.STATE.IMMUTABLE/ TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "See the [ABI Spec]",
      "Field Size (Bytes)": "4",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "4",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x9110000200000028",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "BLOCKED_COUNT",
      "Description": [
        "Size of TD private GPA space which had been accessible by the guest TD and is currently blocked, in multiples of 4KB"
      ],
      "Type": "64-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9110000300000029",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "PENDING_BLOCKED_COUNT",
      "Description": [
        "Size of TD private GPA space which was PENDING and could have been accepted by the guest TD and is currently blocked, in multiples of 4KB"
      ],
      "Type": "64-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x911000030000002A",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "MEM_COUNT",
      "Description": [
        "Number of TD private memory pages, in multiples of 4KB"
      ],
      "Type": "64-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x911000030000002B",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "INTR_CONFIG_STATE",
      "Description": [
        "Array of per-VM interrupt virtualization configuration state.",
        "See the [Interrupt Virtualization Spec] section title \"Enhanced Posted Interrupt Configuration\"  for details."
      ],
      "Type": "8-bit unsigned integer",
      "VM Applicability": "L1_AND_L2",
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "1",
      "Num Fields": "4",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x911000000000002C",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "PIDPT_NUM_PAGES",
      "Description": [
        "Array of per-VM number of PIDPT pages"
      ],
      "Type": "16-bit unsigned integer",
      "VM Applicability": "L1_AND_L2",
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "2",
      "Num Fields": "4",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9110000100000030",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "PIDPT_NUM_ENTRIES",
      "Description": [
        "Array of per-VM fields, each indicating the number of PIDPT entries allocated by the host VMM for its respective VM"
      ],
      "Type": "16-bit unsigned integer",
      "VM Applicability": "L1_AND_L2",
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "2",
      "Num Fields": "4",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9110000100000034",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "PIDPT_HPA",
      "Description": [
        "Array of per-VM PIDPT HPA (incl. HKID)"
      ],
      "Type": "Shared HPA",
      "VM Applicability": "L1_AND_L2",
      "Mutability": "Mutable",
      "Initial Value": "NULL_PA (-1)",
      "Field Size (Bytes)": "8",
      "Num Fields": "4",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "32",
      "Base FIELD_ID (Hex)": "0x9110000300000038",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "PIR_MASK",
      "Description": [
        "Array of per-VM 256-bit bit masks for filtering Shared PID.  Each mask is accessible as 4 64-bit elements."
      ],
      "Type": "256-bit bitmaps",
      "VM Applicability": "L1_AND_L2",
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "32",
      "Num Fields": "4",
      "Num Elements": "4",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "128",
      "Base FIELD_ID (Hex)": "0x911000030000003C",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RW",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "-1",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "WAKEUP_VIRT_VECTOR",
      "Description": [
        "Array of per-VM wakeup virtual interrupt vectors, each used as a notification interrupts to notify L1 that posted interrupt is waiting for that VM.",
        "A value of 0 indicates no wakeup vector.",
        "Values 31 through 255 are legal wakeup vectors.",
        "Other values are illegal."
      ],
      "Type": "8-bit unsigned integer",
      "VM Applicability": "L2_ONLY",
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "1",
      "Num Fields": "4",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x911000000000004C",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RWS",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "-1",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "MAIN_NV",
      "Description": [
        "Array of per-VM main notification vectors"
      ],
      "Type": "8-bit unsigned integer",
      "VM Applicability": "L1_AND_L2",
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "1",
      "Num Fields": "4",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x9110000000000050",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "SHR_NV",
      "Description": [
        "Array of per-VM shared notification vectors"
      ],
      "Type": "8-bit unsigned integer",
      "VM Applicability": "L1_AND_L2",
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "1",
      "Num Fields": "4",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x9110000000000054",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "MAIN_NV_SHARED",
      "Description": [
        "Array of per-VM flags, indicating that MAIN_NV is not unique."
      ],
      "Type": "Boolean",
      "VM Applicability": "L1_AND_L2",
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "1",
      "Num Fields": "4",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x9110000000000058",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "PID_MODE",
      "Description": [
        "Array of per-VM PID modes.",
        "See the [ABI Spec] for details."
      ],
      "Type": "8-bit unsigned integer",
      "VM Applicability": "L1_AND_L2",
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "1",
      "Num Fields": "4",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x911000000000005C",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "INIT_CPUSVN",
      "Description": [
        "CPUSVN from the original creation of this TD.  Serves as the lowest bar for its security."
      ],
      "Type": "Array of 8-bit unsigned integers",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "0",
      "Field Size (Bytes)": "16",
      "Num Fields": "1",
      "Num Elements": "2",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "16",
      "Base FIELD_ID (Hex)": "0x1110000300000060",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "INIT_TEE_TCB_SVN",
      "Description": [
        "TEE_TCB_SVN from the original creation of this TD.  Serves as the lowest bar for its security."
      ],
      "Type": "TEE_TCB_SVN",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "0",
      "Field Size (Bytes)": "16",
      "Num Fields": "1",
      "Num Elements": "2",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "16",
      "Base FIELD_ID (Hex)": "0x1110000300000062",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "INIT_TEE_MODEL",
      "Description": [
        "Model information corresponding to the model that INIT_TEE_TCB_SVN was captured on.  See TEE_MODEL_STRUCT for more info."
      ],
      "Type": "TEE_MODEL_STRUCT",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "0",
      "Field Size (Bytes)": "12",
      "Num Fields": "1",
      "Num Elements": "3",
      "Element Size (Bytes)": "4",
      "Overall Size (Bytes)": "12",
      "Base FIELD_ID (Hex)": "0x1110000200000064",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Execution Controls",
      "Field Name": "MAX_ALLOC_GPA",
      "Description": [
        "The maximum GPA allocated for this TD as private memory (not including MMIO).."
      ],
      "Type": "Private GPA",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x1110000300000067",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "TLB Epoch Tracking",
      "Field Name": "TD_EPOCH",
      "Description": [
        "The TD epoch counter:  incremented by the host VMM using the TDH.MEM.TRACK function"
      ],
      "Type": "64b Integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "1",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9210000300000000",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "TLB Epoch Tracking",
      "Field Name": "REFCOUNT",
      "Description": [
        "Each REFCOUNT counts the number of LPs which may have TLB entries created during a specific TD_EPOCH and are currently executing in TDX non-root mode."
      ],
      "Type": "16b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "2",
      "Num Fields": "2",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x9210000100000001",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Measurement",
      "Field Name": "MRTD",
      "Description": [
        "Measurement of the initial contents of the TD"
      ],
      "Type": "SHA384_HASH",
      "VM Applicability": null,
      "Mutability": "TDH.MR.FINALIZE/ TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "0",
      "Field Size (Bytes)": "48",
      "Num Fields": "1",
      "Num Elements": "6",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "48",
      "Base FIELD_ID (Hex)": "0x1310000300000000",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Measurement",
      "Field Name": "MRCONFIGID",
      "Description": [
        "Software-defined ID for non-owner-defined configuration of the guest TD \u2013 e.g., run-time or OS configuration"
      ],
      "Type": "SHA384_HASH",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "From TDH.MNG.INIT input",
      "Field Size (Bytes)": "48",
      "Num Fields": "1",
      "Num Elements": "6",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "48",
      "Base FIELD_ID (Hex)": "0x1310000300000010",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Measurement",
      "Field Name": "MROWNER",
      "Description": [
        "Software-defined ID for the guest TD\u2019s owner"
      ],
      "Type": "SHA384_HASH",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "From TDH.MNG.INIT input",
      "Field Size (Bytes)": "48",
      "Num Fields": "1",
      "Num Elements": "6",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "48",
      "Base FIELD_ID (Hex)": "0x1310000300000018",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Measurement",
      "Field Name": "MROWNERCONFIG",
      "Description": [
        "Software-defined ID for owner-defined configuration of the guest TD \u2013 e.g., specific to the workload rather than the run-time or OS"
      ],
      "Type": "SHA384_HASH",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "From TDH.MNG.INIT input",
      "Field Size (Bytes)": "48",
      "Num Fields": "1",
      "Num Elements": "6",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "48",
      "Base FIELD_ID (Hex)": "0x1310000300000020",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Measurement",
      "Field Name": "RTMR",
      "Description": [
        "Array of NUM_RTMRS  run-time extendable measurement registers"
      ],
      "Type": "Array of SHA384_HASH",
      "VM Applicability": null,
      "Mutability": "TDH.MR.FINALIZE/ TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "0",
      "Field Size (Bytes)": "48",
      "Num Fields": "4",
      "Num Elements": "6",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "192",
      "Base FIELD_ID (Hex)": "0x1310000300000040",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Measurement",
      "Field Name": "MRCONFIGSVN",
      "Description": [
        "Software defined SVN for non-owner-defined configuration or the guest TD.  E.g., runtime or OS configurations."
      ],
      "Type": "16-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "2",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "2",
      "Base FIELD_ID (Hex)": "0x1310000100000080",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Measurement",
      "Field Name": "MROWNERCONFIGSVN",
      "Description": [
        "Software defined SVN for owner-defined configuration or the guest TD.  E.g., specific to workload rather than the runtime or OS."
      ],
      "Type": "16-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "2",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "2",
      "Base FIELD_ID (Hex)": "0x1310000100000081",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Measurement",
      "Field Name": "MRSIGROOT",
      "Description": [
        "Hash of Root Signing that signed MRSIGNER"
      ],
      "Type": "SHA384_HASH",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "48",
      "Num Fields": "1",
      "Num Elements": "6",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "48",
      "Base FIELD_ID (Hex)": "0x1310000300000082",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Measurement",
      "Field Name": "MRSIGNER",
      "Description": [
        "Hashes of SIGSTRUCT signing key"
      ],
      "Type": "SHA384_HASH",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "48",
      "Num Fields": "1",
      "Num Elements": "6",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "48",
      "Base FIELD_ID (Hex)": "0x1310000300000088",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Measurement",
      "Field Name": "ISVSVN",
      "Description": [
        "ISV-assigned SVN of the TD"
      ],
      "Type": "16-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "2",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "2",
      "Base FIELD_ID (Hex)": "0x131000010000008E",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Measurement",
      "Field Name": "ISVPRODID",
      "Description": [
        "Product ID of the TD"
      ],
      "Type": "128-bit",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "16",
      "Num Fields": "1",
      "Num Elements": "2",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "16",
      "Base FIELD_ID (Hex)": "0x131000030000008F",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Virt. MSR Values",
      "Field Name": "VIRTUAL_IA32_VMX_BASIC",
      "Description": [
        "Virtual value of MSR"
      ],
      "Type": "64-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "None",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9610000300000480",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Virt. MSR Values",
      "Field Name": "VIRTUAL_IA32_VMX_MISC",
      "Description": [
        "Virtual value of MSR"
      ],
      "Type": "64-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "None",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9610000300000485",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Virt. MSR Values",
      "Field Name": "VIRTUAL_IA32_VMX_CR0_FIXED0",
      "Description": [
        "Virtual value of MSR"
      ],
      "Type": "64-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "None",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9610000300000486",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Virt. MSR Values",
      "Field Name": "VIRTUAL_IA32_VMX_CR0_FIXED1",
      "Description": [
        "Virtual value of MSR"
      ],
      "Type": "64-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "None",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9610000300000487",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Virt. MSR Values",
      "Field Name": "VIRTUAL_IA32_VMX_CR4_FIXED0",
      "Description": [
        "Virtual value of MSR"
      ],
      "Type": "64-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "None",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9610000300000488",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Virt. MSR Values",
      "Field Name": "VIRTUAL_IA32_VMX_CR4_FIXED1",
      "Description": [
        "Virtual value of MSR"
      ],
      "Type": "64-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "None",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9610000300000489",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Virt. MSR Values",
      "Field Name": "VIRTUAL_IA32_VMX_PROCBASED_CTLS2",
      "Description": [
        "Virtual value of MSR"
      ],
      "Type": "64-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "None",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x961000030000048B",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Virt. MSR Values",
      "Field Name": "VIRTUAL_IA32_VMX_EPT_VPID_CAP",
      "Description": [
        "Virtual value of MSR"
      ],
      "Type": "64-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "None",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x961000030000048C",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Virt. MSR Values",
      "Field Name": "VIRTUAL_IA32_VMX_TRUE_PINBASED_CTLS",
      "Description": [
        "Virtual value of MSR"
      ],
      "Type": "64-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "None",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x961000030000048D",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Virt. MSR Values",
      "Field Name": "VIRTUAL_IA32_VMX_TRUE_PROCBASED_CTLS",
      "Description": [
        "Virtual value of MSR"
      ],
      "Type": "64-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "None",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x961000030000048E",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Virt. MSR Values",
      "Field Name": "VIRTUAL_IA32_VMX_TRUE_EXIT_CTLS",
      "Description": [
        "Virtual value of MSR"
      ],
      "Type": "64-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "None",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x961000030000048F",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Virt. MSR Values",
      "Field Name": "VIRTUAL_IA32_VMX_TRUE_ENTRY_CTLS",
      "Description": [
        "Virtual value of MSR"
      ],
      "Type": "64-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "None",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9610000300000490",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Virt. MSR Values",
      "Field Name": "VIRTUAL_IA32_VMX_VMFUNC",
      "Description": [
        "Virtual value of MSR"
      ],
      "Type": "64-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "None",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9610000300000491",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Virt. MSR Values",
      "Field Name": "VIRTUAL_IA32_VMX_PROCBASED_CTLS3",
      "Description": [
        "Virtual value of MSR"
      ],
      "Type": "64-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "None",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9610000300000492",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Virt. MSR Values",
      "Field Name": "VIRTUAL_IA32_VMX_EXIT_CTLS2",
      "Description": [
        "Virtual value of MSR"
      ],
      "Type": "64-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "None",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9610000300000493",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Virt. MSR Values",
      "Field Name": "VIRTUAL_IA32_ARCH_CAPABILITIES",
      "Description": [
        "Virtual value of MSR"
      ],
      "Type": "64-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "None",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x961000030000010A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "CPUID",
      "Field Name": "CPUID_VALUES",
      "Description": [
        "Values returned by CPUID leaves/sub-leaves:",
        "Element 0[31:0]:   EAX",
        "Element 0[63:32]:  EBX",
        "Element 1[31:0]:   ECX",
        "Element 1[63:32]:  EDX",
        "Field code is composed as follows:",
        "Bits 31:17 Reserved, must be 0",
        "Bit 16     Leaf number bit 31",
        "Bits 15:9  Leaf number bit 6:0",
        "Bit 8      Sub-leaf not applicable flag",
        "Bits 7:1   Sub-leaf number bits 6:0",
        "Bit 0      Element index within field"
      ],
      "Type": "CPUID_RET",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "From TDH.MNG.INIT input",
      "Field Size (Bytes)": "16",
      "Num Fields": "80",
      "Num Elements": "2",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "1280",
      "Base FIELD_ID (Hex)": "0x9410000300000000",
      "Host VMM Access for a Production TD": "ROS",
      "Host VMM Access for a Debug TD": "ROS",
      "Guest Access": "None",
      "Migration TD Access": "ROS",
      "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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "MIG_DEC_KEY_SET",
      "Description": [
        "Set when a new MIG_DEC_KEY is written, cleared when the MIG_DEC_KEY is copied to MIG_DEC_WORKING_KEY"
      ],
      "Type": "Boolean",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "False",
      "Field Size (Bytes)": "1",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "1",
      "Base FIELD_ID (Hex)": "0x9810000000000001",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "EXPORT_COUNT",
      "Description": [
        "Counts the number of times this TD has been exported, included aborted export sessions.",
        "Incremented at the beginning of each export session (TDH.EPORT.STATE.IMMUTABLE)."
      ],
      "Type": "32b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "TDH.EXPORT.STATE.IMMUTABLE/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "0",
      "Field Size (Bytes)": "4",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "4",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x9810000200000002",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "IMPORT_COUNT",
      "Description": [
        "Counts the number of times this TD has been imported.",
        "Incremented by TDH.IMPORT.COMMIT."
      ],
      "Type": "32b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "4",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "4",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x9810000200000003",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "MIG_EPOCH",
      "Description": [
        "Migration epoch",
        "Starts from 0 on migration session start, incremented by 1 on each epoch token.",
        "A value of 0xFFFFFFFF indicates out-of-order phase."
      ],
      "Type": "32b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "4",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "4",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x9810000200000004",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "BW_EPOCH",
      "Description": [
        "For Write-Blocking Export, holds the value of TD_EPOCH at last time TDH.EXPORT.BLOCKW blocked a page for writing.",
        "For Non-Blocking Export, holds the value of TD_EPOCH at the time of TDH.EXPORT.STATE.IMMUTABLE."
      ],
      "Type": "64b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9810000300000005",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "TOTAL_MB_COUNT",
      "Description": [
        "The total number of migration bundles exported or imported during the current migration sessions"
      ],
      "Type": "Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9810000300000006",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "MIG_DEC_KEY",
      "Description": [
        "Migration decryption key, as written by the Migration TD",
        "Special write behaviour:",
        "- Acquire a shared lock on TDCS.OP_STATE to prevent",
        "   concurrent migration session start.",
        "- Set MIG_DEC_KEY_SET"
      ],
      "Type": "KEY_256",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "32",
      "Num Fields": "1",
      "Num Elements": "4",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "32",
      "Base FIELD_ID (Hex)": "0x9810000300000010",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "None",
      "Guest Access": "None",
      "Migration TD 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 ": "0",
      "Host VMM Wr Mask for a Debug TD ": "0",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "-1"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "MIG_DEC_WORKING_KEY",
      "Description": [
        "Migration decryption working key",
        "Copied from MIG_DEC_KEY at the beginning of a migration session and used throughout the session."
      ],
      "Type": "KEY_256",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "32",
      "Num Fields": "1",
      "Num Elements": "4",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "32",
      "Base FIELD_ID (Hex)": "0x9810000300000014",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "None",
      "Guest Access": "None",
      "Migration TD 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 ": "0",
      "Host VMM Wr Mask for a Debug TD ": "0",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "MIG_ENC_KEY",
      "Description": [
        "Migration encryption key",
        "This key is first generated by the TDX module on TDH.MNG.ADDCX, and is re-generated at the beginning of each migration session (TDH.EXPORT/IMPORT.STATE.IMMUTABLE) for use in a following session."
      ],
      "Type": "KEY_256",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "Random",
      "Field Size (Bytes)": "32",
      "Num Fields": "1",
      "Num Elements": "4",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "32",
      "Base FIELD_ID (Hex)": "0x9810000300000018",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "None",
      "Guest Access": "None",
      "Migration TD Access": "ROS",
      "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 ": "0",
      "Host VMM Wr Mask for a Debug TD ": "0",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "MIG_ENC_WORKING_KEY",
      "Description": [
        "Migration encryption working key",
        "Copied from MIG_ENC_KEY at the beginning of a migration session (before a new MIG_ENC_KEY is generated) and used throughout the session."
      ],
      "Type": "None",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "32",
      "Num Fields": "1",
      "Num Elements": "4",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "32",
      "Base FIELD_ID (Hex)": "0x981000030000001C",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "None",
      "Guest Access": "None",
      "Migration TD 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 ": "0",
      "Host VMM Wr Mask for a Debug TD ": "0",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "MIG_VERSION",
      "Description": [
        "Migration protocol version, as written by the migration TD"
      ],
      "Type": "16b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "2",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "2",
      "Base FIELD_ID (Hex)": "0x9810000100000020",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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 ": "0",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "-1"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "MIG_WORKING_VERSION",
      "Description": [
        "Migration working protocol version, copied from MIG_VERSION at the beginning of a migration session and used throughout the session"
      ],
      "Type": "16b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "2",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "2",
      "Base FIELD_ID (Hex)": "0x9810000100000021",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "DIRTY_COUNT",
      "Description": [
        "Counts of the number of pages that must be re-exported, because their contents have been modified since they have been exported, before a start token may be generated"
      ],
      "Type": "64b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9810000300000030",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "MIG_COUNT",
      "Description": [
        "Counts the number of SEPT entries that need to be cleaned up after an aborted migration"
      ],
      "Type": "64b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9810000300000031",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "NUM_MIGS",
      "Description": [
        "Number of Migration Stream Context (MIGSC) pages that have been allocated (including the backward and forward MIGSC pages)"
      ],
      "Type": "16b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "2",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "2",
      "Base FIELD_ID (Hex)": "0x9810000100000032",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "NUM_MIGRATED_VCPUS",
      "Description": [
        "Number of VCPUs that have been migrated"
      ],
      "Type": "32b Unsigned Integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "4",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "4",
      "Overall Size (Bytes)": "4",
      "Base FIELD_ID (Hex)": "0x9810000200000034",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "PRE_IMPORT_UUID",
      "Description": [
        "The original value of TD_UUID before it was overwritten as part of the immutable state import"
      ],
      "Type": "256-bit blob",
      "VM Applicability": null,
      "Mutability": "TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "0",
      "Field Size (Bytes)": "32",
      "Num Fields": "1",
      "Num Elements": "4",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "32",
      "Base FIELD_ID (Hex)": "0x9810000300000040",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "NUM_MEM_SCAN_RANGES",
      "Description": [
        "Number of memory scan GPA ranges, configured by TDH.MEM.SCAN.CONFIG"
      ],
      "Type": "8-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "1",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "1",
      "Base FIELD_ID (Hex)": "0x1810000000000037",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "NUM_MEM_SCAN_RANGES_COMPLETED",
      "Description": [
        "Number of memory scan GPA ranges for which TDH.MEM.SCAN.COMP completed the scan"
      ],
      "Type": "8-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "1",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "1",
      "Base FIELD_ID (Hex)": "0x1810000000000038",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "MEM_SCAN_OPERATION",
      "Description": [
        "Operation done by the current comprehensive memory scan.  See the [ABI Spec] definition of TDH.MEM.SCAN.COMP for details."
      ],
      "Type": "8-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "1",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "1",
      "Base FIELD_ID (Hex)": "0x1810000000000039",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "MEM_SCAN_QUALIFIER",
      "Description": [
        "Operation qualifier for the current comprehensive memory scan.  See the [ABI Spec] definition of TDH.MEM.SCAN.COMP for details."
      ],
      "Type": "8-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "1",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "1",
      "Base FIELD_ID (Hex)": "0x181000000000003A",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "MEM_SCAN_STATE",
      "Description": [
        "State of the comprehensive memory scan.  See the [ABI Spec] for details."
      ],
      "Type": "8-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "1",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "1",
      "Base FIELD_ID (Hex)": "0x181000000000003B",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "MEM_SCAN_EPOCH",
      "Description": [
        "TD epoch value recorded by TDH.MEM.SCAN.COMP(PRECLEAR) after clearing all SEPT non-leaf entries A bits"
      ],
      "Type": "64-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x981000030000003C",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "REMOVED_COUNT",
      "Description": [
        "Counts memory size, in multiples of 4KB, of pages whose SEPT entry state is REMOVED, i.e., they were removed by TDH.MEM.PAGE.REMOVE during an import session, or that their import was cancelled by TDH.IMPORT.MEM CANCEL operation"
      ],
      "Type": "64-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x981000030000003D",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Migration",
      "Field Name": "PREALLOC_COUNT",
      "Description": [
        "Counts memory size, in multiples of 4KB, that has been locally pre-allocated during import by TDH.MEM.PAGE.AUG, or that their import has been cancelled by TDH.IMPORT.MEM CANCEL operation with NO_REOWN"
      ],
      "Type": "64-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x981000030000003E",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Service TD",
      "Field Name": "SERVTD_HASH",
      "Description": [
        "SHA384 hash of the bound or pre-bound service TDs"
      ],
      "Type": "SHA384_HASH",
      "VM Applicability": null,
      "Mutability": "TDH.MR.FINALIZE/ TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "0",
      "Field Size (Bytes)": "48",
      "Num Fields": "1",
      "Num Elements": "6",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "48",
      "Base FIELD_ID (Hex)": "0x9910000300000000",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Service TD",
      "Field Name": "SERVTD_NUM",
      "Description": [
        "Number of bound or pre-bound service TDs"
      ],
      "Type": "16-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "TDH.MR.FINALIZE/ TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "0",
      "Field Size (Bytes)": "2",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "2",
      "Base FIELD_ID (Hex)": "0x9910000100000006",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Service TD",
      "Field Name": "SERVTD_BINDINGS_TABLE",
      "Description": [
        "An array of service TD binding information entries",
        "The number of entries is enumerated by SERVTD_NUM."
      ],
      "Type": "Array of SERVTD_BINDING entries",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "128",
      "Num Fields": "1",
      "Num Elements": "16",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "128",
      "Base FIELD_ID (Hex)": "0x9910000300000080",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Service TD",
      "Field Name": "SERVTD_BINDING_STATE",
      "Description": [
        "Service TD 0 binding state, see [ABI FAS]"
      ],
      "Type": "SERVTD_BINDING_STATE",
      "VM Applicability": null,
      "Mutability": "TDH.MR.FINALIZE/ TDH.IMPORT.STATE.IMMUTABLE/ TDH.SERVTD.REBIND",
      "Initial Value": "0",
      "Field Size (Bytes)": "1",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "1",
      "Base FIELD_ID (Hex)": "0x1910000000000200",
      "Host VMM Access for a Production TD": "ROS",
      "Host VMM Access for a Debug TD": "ROS",
      "Guest Access": "ROS",
      "Migration TD Access": "ROS",
      "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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Service TD",
      "Field Name": "SERVTD_TYPE",
      "Description": [
        "Service TD 0 TYPE, see [ABI FAS]"
      ],
      "Type": "SERVTD_TYPE",
      "VM Applicability": null,
      "Mutability": "TDH.MR.FINALIZE/ TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "0",
      "Field Size (Bytes)": "2",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "2",
      "Base FIELD_ID (Hex)": "0x1910000100000201",
      "Host VMM Access for a Production TD": "ROS",
      "Host VMM Access for a Debug TD": "ROS",
      "Guest Access": "ROS",
      "Migration TD Access": "ROS",
      "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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Service TD",
      "Field Name": "SERVTD_ATTR",
      "Description": [
        "Service TD 0 ATTR, see [ABI FAS]"
      ],
      "Type": "SERVTD_ATTR",
      "VM Applicability": null,
      "Mutability": "TDH.MR.FINALIZE/ TDH.IMPORT.STATE.IMMUTABLE/ TDH.SERVTD.REBIND",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x1910000300000202",
      "Host VMM Access for a Production TD": "ROS",
      "Host VMM Access for a Debug TD": "ROS",
      "Guest Access": "ROS",
      "Migration TD Access": "ROS",
      "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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Service TD",
      "Field Name": "SERVTD_UUID",
      "Description": [
        "Service TD 0 UUID, see [ABI FAS]"
      ],
      "Type": "256-bit blob",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "32",
      "Num Fields": "1",
      "Num Elements": "4",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "32",
      "Base FIELD_ID (Hex)": "0x1910000300000203",
      "Host VMM Access for a Production TD": "ROS",
      "Host VMM Access for a Debug TD": "ROS",
      "Guest Access": "ROS",
      "Migration TD Access": "ROS",
      "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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Service TD",
      "Field Name": "SERVTD_INFO_HASH",
      "Description": [
        "Service TD 0 INFO_HASH, see [ABI FAS]"
      ],
      "Type": "SHA384_HASH",
      "VM Applicability": null,
      "Mutability": "TDH.MR.FINALIZE/ TDH.IMPORT.STATE.IMMUTABLE/ TDH.SERVTD.REBIND",
      "Initial Value": "0",
      "Field Size (Bytes)": "48",
      "Num Fields": "1",
      "Num Elements": "6",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "48",
      "Base FIELD_ID (Hex)": "0x1910000300000207",
      "Host VMM Access for a Production TD": "ROS",
      "Host VMM Access for a Debug TD": "ROS",
      "Guest Access": "ROS",
      "Migration TD Access": "ROS",
      "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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Service TD",
      "Field Name": "SERVTD_INIT_ATTR",
      "Description": [
        "Initial Service TD 0 ATTR, see [ABI FAS]"
      ],
      "Type": "SERVTD_ATTR",
      "VM Applicability": null,
      "Mutability": "TDH.MR.FINALIZE/ TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x191000030000020D",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Service TD",
      "Field Name": "SERVTD_INIT_INFO_HASH",
      "Description": [
        "Initial Service TD 0 INFO_HASH, see [ABI FAS]"
      ],
      "Type": "SHA384_HASH",
      "VM Applicability": null,
      "Mutability": "TDH.MR.FINALIZE/ TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "0",
      "Field Size (Bytes)": "48",
      "Num Fields": "1",
      "Num Elements": "6",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "48",
      "Base FIELD_ID (Hex)": "0x191000030000020E",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Service TD",
      "Field Name": "SERVTD_ACCEPT_SERVTD_EXT_HASH",
      "Description": [
        "Hash of SERVTD_EXT that the new Service TD 0 (i.e., rebound Service TD or MigTD on the destination platform) believes is the SERVTD_EXT for this TD. "
      ],
      "Type": "SHA384_HASH",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "48",
      "Num Fields": "1",
      "Num Elements": "6",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "48",
      "Base FIELD_ID (Hex)": "0x1910000300000214",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RW",
      "Migration TD Access": "RW",
      "Host VMM Rd Mask for a Production TD ": "-1",
      "Host VMM Wr Mask for a Production TD ": "0",
      "Host VMM Rd Mask for a Debug TD ": "-1",
      "Host VMM Wr Mask for a Debug TD ": "0",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "-1",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "-1"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Service TD",
      "Field Name": "SERVTD_REBIND_TOKEN",
      "Description": [
        "Rebind session token, set by TDG.SERVTD.REBIND.APPROVE."
      ],
      "Type": "256-bit blob",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "32",
      "Num Fields": "1",
      "Num Elements": "4",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "32",
      "Base FIELD_ID (Hex)": "0x191000030000021A",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Service TD",
      "Field Name": "SERVTD_REBIND_ACCEPT_TOKEN",
      "Description": [
        "Rebind session token held by the Service TD.  This field is written by the ServiceTD executing TDG.VM.WR."
      ],
      "Type": "256-bit blob",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "32",
      "Num Fields": "1",
      "Num Elements": "4",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "32",
      "Base FIELD_ID (Hex)": "0x191000030000021E",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RW",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "-1",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Service TD",
      "Field Name": "SERVTD_REBIND_ATTR",
      "Description": [
        "The intended SERVTD_ATTR for the Service TD about to be bound to the TD."
      ],
      "Type": "SERVTD_ATTR",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x1910000300000222",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RW",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "-1",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Service TD",
      "Field Name": "SERVTD_EXT_HASH",
      "Description": [
        "SHA384 digest of the SERVTD_EXT."
      ],
      "Type": "SHA384_HASH",
      "VM Applicability": null,
      "Mutability": "TDH.MR.FINALIZE/ TDH.IMPORT.STATE.IMMUTABLE/ TDH.SERVTD.REBIND",
      "Initial Value": "0",
      "Field Size (Bytes)": "48",
      "Num Fields": "1",
      "Num Elements": "6",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "48",
      "Base FIELD_ID (Hex)": "0x1910000300000223",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "RO",
      "Migration TD 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",
      "Guest Rd Mask": "-1",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "X2APIC_IDS",
      "Field Name": "X2APIC_IDS",
      "Description": [
        "Array of per-VCPU unique virtual x2APIC IDs"
      ],
      "Type": "32-bit integer",
      "VM Applicability": null,
      "Mutability": "TDH.VP.INIT/ TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "0",
      "Field Size (Bytes)": "4",
      "Num Fields": "576",
      "Num Elements": "1",
      "Element Size (Bytes)": "4",
      "Overall Size (Bytes)": "2304",
      "Base FIELD_ID (Hex)": "0x9C10000200000000",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "-1",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "TDX_CONNECT",
      "Field Name": "CURR_IOTLB_CNT",
      "Description": [
        "Total IOTLB agents currently attached to this TD via IOMMU mapped PTE."
      ],
      "Type": "64-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9B10000300000000",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "TDX_CONNECT",
      "Field Name": "PREV_IOTLB_CNT",
      "Description": [
        "Total IOTLB agents from previous TD_EPOCH that require IOTLB invalidation for tracking to be done."
      ],
      "Type": "64-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "8",
      "Base FIELD_ID (Hex)": "0x9B10000300000001",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "TDX_CONNECT",
      "Field Name": "REQ_ACTIVE",
      "Description": [
        "Invalidation tracker which keeps the type of the current TD invalidation request (e.g. DMAR or IOTLB).  This internal flag is used for correct TDX Module enforcements when the host VMM actually fulfills the TD invalidation request with TDH.IQ.INV.REQUEST.",
        "For details, see the [TDX Connect ABI Spec]."
      ],
      "Type": "8-bit enumerated value",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "1",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "1",
      "Base FIELD_ID (Hex)": "0x9B10000000000002",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "TDX_CONNECT",
      "Field Name": "INV_VM_INDEX",
      "Description": [
        "VM index for which the IOTLB invalidation was requested"
      ],
      "Type": "8-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "1",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "1",
      "Overall Size (Bytes)": "1",
      "Base FIELD_ID (Hex)": "0x9B10000000000004",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "TDX_CONNECT",
      "Field Name": "REQ_DATA",
      "Description": [
        "Invalidation request data:",
        "- For L1 IOTLB invalidation request (see TDG.IQ.INV.REQUEST Leaf), REQ_DATA keeps the requested number of GPA ranges to invalidate in the request.",
        "- For L1 DMAR invalidation (see TDG.DMAR.RELEASE Leaf), REQ_DATA keeps the RID_PASID (from the FUNCTION_ID)."
      ],
      "Type": "16-bit unsigned integer",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "2",
      "Num Fields": "1",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "2",
      "Base FIELD_ID (Hex)": "0x9B10000100000005",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "TDX_CONNECT",
      "Field Name": "REQ_IOMMU_BM",
      "Description": [
        "Active TD IOMMU bitmask. 128 bits for all possible NUM_TOTAL_IOMMUs"
      ],
      "Type": "128-bit bit mask",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "16",
      "Num Fields": "1",
      "Num Elements": "2",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "16",
      "Base FIELD_ID (Hex)": "0x9B10000300000006",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "TDX_CONNECT",
      "Field Name": "IOTLB_TRACK_ARRAY",
      "Description": [
        "IOTLB invalidation tracker"
      ],
      "Type": "Array of IOTLB_INV_TRACKER_T",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "128",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "1024",
      "Base FIELD_ID (Hex)": "0x9B10000300000200",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "TDX_CONNECT",
      "Field Name": "IOTLB_COMMITTED",
      "Description": [
        "Array of NUM_TOTAL_IOMMUs, counter of descriptors in COMMITTED state per IOMMU index"
      ],
      "Type": "Array of 8-bit unsigned integers",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "2",
      "Num Fields": "128",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "256",
      "Base FIELD_ID (Hex)": "0x9B10000100000400",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "TDX_CONNECT",
      "Field Name": "IOTLB_COMPLETE",
      "Description": [
        "Array of NUM_TOTAL_IOMMUs, counter of descriptors in COMPLETE state per IOMMU index"
      ],
      "Type": "Array of unsigned 8-bit",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "2",
      "Num Fields": "128",
      "Num Elements": "1",
      "Element Size (Bytes)": "2",
      "Overall Size (Bytes)": "256",
      "Base FIELD_ID (Hex)": "0x9B10000100000600",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "MSR Bitmaps",
      "Field Name": "MSR_BITMAPS",
      "Description": [
        "TD-scope RDMSR/WRMSR exit control bitmaps"
      ],
      "Type": "MSR Exit Bitmaps",
      "VM Applicability": null,
      "Mutability": "TDH.MNG.INIT/  TDH.IMPORT.STATE.IMMUTABLE",
      "Initial Value": "See MSR Handling spreadsheet",
      "Field Size (Bytes)": "8",
      "Num Fields": "512",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "4096",
      "Base FIELD_ID (Hex)": "0x2010000300000000",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "Secure EPT Root",
      "Field Name": "SEPT_ROOT",
      "Description": [
        "Secure EPT root page (PML5 or PML4)"
      ],
      "Type": "Secure EPT Entry",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "All entries:  bit 63 set, other bits clear",
      "Field Size (Bytes)": "8",
      "Num Fields": "512",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "4096",
      "Base FIELD_ID (Hex)": "0x2110000300000000",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "MIGSC Links",
      "Field Name": "MIGSC_LINKS",
      "Description": [
        "An array of links to Migration Stream Contexts.",
        "- Entry 0 is for the backward migration stream.",
        "- Entry [i + 1] is for forward migration stream i.",
        "Each entry contains the following information:",
        "Bit 51:12:  MIGSC_HPA:",
        "            Bits 52:12 of the MIGSC page HPA",
        "            (without the HKID bits)",
        "Bit 0:      LOCK:",
        "            Mutex for controlling access to the",
        "            MIGSC",
        "Bit 1:      INITIALIZED:",
        "            A boolean flag, indicating that the",
        "            MIGSC has been initialized.",
        "Bit 2:      ENABLED:",
        "            A boolean flag, indicating that the",
        "            MIGS  is enabled",
        "The flags are held here, not in the MIGSC itself, to enable efficient state-related operations on all migration streams, e.g., disabling all streams."
      ],
      "Type": "MIGSC_LINK",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "512",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "4096",
      "Base FIELD_ID (Hex)": "0x9A10000300000000",
      "Host VMM Access for a Production TD": "RO",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "L2 Secure EPT Root [1]",
      "Field Name": "L2_SEPT_ROOT_1",
      "Description": [
        "L2 VM's Secure EPT root page (PML5 or PML4)"
      ],
      "Type": "Secure EPT Entry",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "512",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "4096",
      "Base FIELD_ID (Hex)": "0x2510000300000000",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "L2 Secure EPT Root [2]",
      "Field Name": "L2_SEPT_ROOT_2",
      "Description": [
        "L2 VM's Secure EPT root page (PML5 or PML4)"
      ],
      "Type": "Secure EPT Entry",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "512",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "4096",
      "Base FIELD_ID (Hex)": "0x2910000300000000",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    },
    {
      "Control Structure": "TDCS",
      "Class": "L2 Secure EPT Root [3]",
      "Field Name": "L2_SEPT_ROOT_3",
      "Description": [
        "L2 VM's Secure EPT root page (PML5 or PML4)"
      ],
      "Type": "Secure EPT Entry",
      "VM Applicability": null,
      "Mutability": "Mutable",
      "Initial Value": "0",
      "Field Size (Bytes)": "8",
      "Num Fields": "512",
      "Num Elements": "1",
      "Element Size (Bytes)": "8",
      "Overall Size (Bytes)": "4096",
      "Base FIELD_ID (Hex)": "0x2D10000300000000",
      "Host VMM Access for a Production TD": "None",
      "Host VMM Access for a Debug TD": "RO",
      "Guest Access": "None",
      "Migration TD 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",
      "Guest Rd Mask": "0",
      "Guest Wr Mask": "0",
      "Migration TD Rd Mask": "0",
      "Migration TD wr Mask": "0"
    }
  ]
}