{ "Header": { "Copyright": "Copyright (c) 2022 - 2023 Intel Corporation. All rights reserved.", "Info": "TDX VCPU-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.", "": "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": [ { "Class": "Management", "Field Name": "VCPU_STATE", "Description": [ "The activity state of the VCPU.", "The values below are provided only for debug, and are subject to change with new TDX module releases.", "0x0: VCPU_UNINITIALIZED", "0x2: VCPU_READY", "0x4: VCPU_ACTIVE", "0x8: VCPU_DISABLED", "0x10: VCPU_IMPORT" ], "Type": "VCPU_STATE", "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "VCPU_READY_ASYNC" ], "Field Size (Bytes)": "1", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "1", "Overall Size (Bytes)": "1", "Base FIELD_ID (Hex)": "0xA020000000000000", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "LAST_TD_EXIT", "Description": [ "Type of the last TD exit.", "The values below are subject to change with new TDX module releases.", "0x0: ASYNC_FAULT", "0x1: ASYNC_TRAP", "0x2: TDVMCALL" ], "Type": "LAST_TD_EXIT", "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "ASYNC_FAULT" ], "Field Size (Bytes)": "1", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "1", "Overall Size (Bytes)": "1", "Base FIELD_ID (Hex)": "0xA02000000000000F", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "VCPU_INDEX", "Description": [ "Sequential index of the VCPU in the parent TD. VCPU_INDEX indicates the order of VCPU initialization (by TDH.VP.INIT), starting from 0, and is made available to the TD via TDINFO.", "VCPU_INDEX is in the range 0 to (TDCS.MAX_VCPUS - 1), up to 0xFFFE" ], "Type": "32b Unsigned Integer", "Attributes": null, "VM Applicability": null, "Mutability": "TDH.VP.INIT/TDH.MIG.IMPORT.VP", "Initial Value": [ "From TDCS.NUM_VCPUS, see description" ], "Field Size (Bytes)": "4", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "4", "Overall Size (Bytes)": "4", "Base FIELD_ID (Hex)": "0xA020000200000002", "Host VMM Access for a Production TD": "RO", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "NUM_TDVPS_PAGES", "Description": [ "Number of pages in this TDVPS" ], "Type": "Unsigned Integer", "Attributes": null, "VM Applicability": null, "Mutability": "TDH.VP.INIT/TDH.MIG.IMPORT.VP", "Initial Value": [ "Depends on the number of pages added by TDH.VP.ADDCX" ], "Field Size (Bytes)": "1", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "1", "Overall Size (Bytes)": "1", "Base FIELD_ID (Hex)": "0xA020000000000003", "Host VMM Access for a Production TD": "RO", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "TDVPS_PAGE_PA", "Description": [ "An array of TDVPS_PAGES physical address pointers to the TDVPS physical pages" ], "Type": "Array of PA", "Attributes": "PRIVATE_HPA\",\n", "VM Applicability": null, "Mutability": "TDH.VP.INIT/TDH.MIG.IMPORT.VP", "Initial Value": [ "N/A" ], "Field Size (Bytes)": "8", "Num Fields": "15", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "120", "Base FIELD_ID (Hex)": "0xA020000300000010", "Host VMM Access for a Production TD": "RO", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "ASSOC_LPID", "Description": [ "The unique, hardware-derived identifier of the logical processor on which this VCPU is currently associated (either by TDENTER or by other VCPU-specific SEAMCALL flow): ", "\u2022 A value of -1 indicates that", " VCPU is not associated with", " any LP.", "\u2022 Initialized by TDH.VP.INIT to", " the LP_ID on which it ran." ], "Type": "Integer", "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "LPID on which TDH.VP.INIT runs" ], "Field Size (Bytes)": "4", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "4", "Overall Size (Bytes)": "4", "Base FIELD_ID (Hex)": "0xA020000200000004", "Host VMM Access for a Production TD": "RO", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "VCPU_EPOCH", "Description": [ "The value of TDCS.TD_EPOCH at the time this VCPU entered TDX non-root mode" ], "Type": "Integer", "Attributes": null, "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)": "0xA020000300000006", "Host VMM Access for a Production TD": "RO", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "CPUID_SUPERVISOR_VE", "Description": [ "When set, the Intel TDX module injects #VE on guest TD execution of CPUID in CPL = 0." ], "Type": "Boolean", "Attributes": null, "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)": "0xA020000000000007", "Host VMM Access for a Production TD": "RO", "Host VMM Access for a Debug TD": "RO", "Guest 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": "-1", "Guest Wr Mask": "-1" }, { "Class": "Management", "Field Name": "CPUID_USER_VE", "Description": [ "When set, the Intel TDX module injects #VE on guest TD execution of CPUID in CPL > 0." ], "Type": "Boolean", "Attributes": null, "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)": "0xA020000000000008", "Host VMM Access for a Production TD": "RO", "Host VMM Access for a Debug TD": "RO", "Guest 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": "-1", "Guest Wr Mask": "-1" }, { "Class": "Management", "Field Name": "LAST_EXIT_TSC", "Description": [ "Initialized to the value returned rdtsc on TDH.VP.INIT" ], "Type": "Unsigned 64b Integer", "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "rdtsc value at TDH.VP.INIT" ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0xA02000030000000A", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "PEND_NMI", "Description": [ "When set, the Intel TDX module injects an NMI to the guest TD at the next available opportunity (NMI window open after TDENTER). the Intel TDX module then clears PEND_NIM." ], "Type": "Boolean", "Attributes": null, "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)": "0x202000000000000B", "Host VMM Access for a Production TD": "RW", "Host VMM Access for a Debug TD": "RW", "Guest 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" }, { "Class": "Management", "Field Name": "NMI_UNBLOCKING_DUE_TO_IRET", "Description": [ "Flags that on the last VM exit NMI unblocing due to IRET was indicated" ], "Type": "Boolean", "Attributes": null, "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)": "0xA020000000000040", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "XFAM", "Description": [ "Copied from TDCS on TDH.VP.INIT.", "On TDH.VP.WR, checked for architectural and platform compatibility" ], "Type": "Bitmap", "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "Copied from TDCS.XFAM" ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0x202000030000000C", "Host VMM Access for a Production TD": "RO", "Host VMM Access for a Debug TD": "RWS", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "-1", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Management", "Field Name": "LAST_EPF_GPA_LIST_IDX", "Description": [ "Number of valid entries in LAST_EPF_GPA_LIST" ], "Type": "Unsigned Integer", "Attributes": null, "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)": "0xA02000000000000D", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "POSSIBLY_EPF_STEPPING", "Description": [ "Number of possibly legal EPT Faults (EPFs) detected so far at this TD vCPU instruction" ], "Type": "Unsigned Integer", "Attributes": null, "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)": "0xA02000000000000E", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "HP_LOCK_BUSY_START", "Description": [ "TSC value at start of the host priority busy period" ], "Type": "Unsigned 64b Integer", "Attributes": null, "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)": "0xA020000300000030", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "HP_LOCK_BUSY", "Description": [ "Indicates that the guest has encountered a busy host priority lock" ], "Type": "Boolean", "Attributes": null, "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)": "0xA020000000000031", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "LAST_SEAMDB_INDEX", "Description": [ "Value of PL.SEAMDB_INDEX, sampled on last VCPU-to-LP association" ], "Type": "64-bit unsigned integer", "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "Copied from PL.SEAMDB_INDEX" ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0xA020000300000032", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "CURR_VM", "Description": [ "VM index currently used for this VCPU" ], "Type": "16-bit unsigned integer", "Attributes": null, "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)": "0xA020000100000041", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "L2_EXIT_HOST_ROUTING", "Description": [ "Sticky status of L2-to-L1 routing by the host (TDH.VP.ENTER with RESUME_L1 set):", "0: L2 TD exit not routed to L1", "1: L2 async TD exit routed to L1", "2: L2 sync (TDG.VP.VMCALL) TD exit routed to L1" ], "Type": null, "Attributes": null, "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)": "0xA020000000000042", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "VM_LAUNCHED", "Description": [ "A Boolean flag per VM, indicating whether the VM has been VMLAUNCH\u2019ed on this LP since it has last been associated with this VCPU.", "If TRUE, VM entry should use VMRESUME.", "Else, VM entry should use VMLAUNCH." ], "Type": "Boolean", "Attributes": null, "VM Applicability": "L1_AND_L2", "Mutability": "Mutable", "Initial Value": [ "False" ], "Field Size (Bytes)": "1", "Num Fields": "4", "Num Elements": "1", "Element Size (Bytes)": "1", "Overall Size (Bytes)": "4", "Base FIELD_ID (Hex)": "0xA020000000000044", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "LP_DEPENDENT_HPA_UPDATED", "Description": [ "A Boolean flag per VM, indicating that the LP-dependent HPA fields have been updated. Cleared after new VCPU-to-LP association." ], "Type": "Boolean", "Attributes": null, "VM Applicability": "L1_AND_L2", "Mutability": "Mutable", "Initial Value": [ "False" ], "Field Size (Bytes)": "1", "Num Fields": "4", "Num Elements": "1", "Element Size (Bytes)": "1", "Overall Size (Bytes)": "4", "Base FIELD_ID (Hex)": "0xA020000000000048", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "MODULE_DEPENDENT_FIELDS_UPDATED", "Description": [ "A Boolean flag per VM, indicating that the TDX module dependent HPA fields have been updated. Cleared after new VCPU-to-LP association that follows a TD preserving update." ], "Type": "Boolean", "Attributes": null, "VM Applicability": "L1_AND_L2", "Mutability": "Mutable", "Initial Value": [ "False" ], "Field Size (Bytes)": "1", "Num Fields": "4", "Num Elements": "1", "Element Size (Bytes)": "1", "Overall Size (Bytes)": "4", "Base FIELD_ID (Hex)": "0xA02000000000004C", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "L2_CTLS", "Description": [ "L2 VM control flags, used by the L1 VMM:", "Bit 0: ENABLE_SHARED_EPTP", "Bit 1: ENABLE_TDVMCALL", "Bits 63:2: RESERVED, must be 0" ], "Type": "64-bit bitmap", "Attributes": null, "VM Applicability": "L2_ONLY", "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)": "0xA020000300000050", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RWS", "Guest Access": "RWS", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "0x0000000000000003", "Guest Rd Mask": "-1", "Guest Wr Mask": "0x0000000000000003" }, { "Class": "Management", "Field Name": "L2_DEBUG_CTLS", "Description": [ "L2 VM debug control flags, used by the off-TD debugger:", "Bit 0: TD_EXIT_ON_L1_TO_L2", "Bit 1: TD_EXIT_ON_L2_TO_L1", "Bit 2: TD_EXIT_ON_L2_VM_EXIT", "Bits 63:3: RESERVED, must be 0" ], "Type": "64-bit bitmap", "Attributes": null, "VM Applicability": "L2_ONLY", "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)": "0xA020000300000054", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest 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 ": "0x0000000000000007", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Management", "Field Name": "TSC_DEADLINE", "Description": [ "TSC deadline, in virtual TSC ticks", "A value of -1 indicates no TSC deadline", "Applicable only to L2 VMs" ], "Type": "64-bit unsigned integer", "Attributes": null, "VM Applicability": "L2_ONLY", "Mutability": "Mutable", "Initial Value": [ "-1" ], "Field Size (Bytes)": "8", "Num Fields": "4", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "32", "Base FIELD_ID (Hex)": "0xA020000300000058", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest Access": "RWS", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "0", "Guest Rd Mask": "-1", "Guest Wr Mask": "-1" }, { "Class": "Management", "Field Name": "SHADOW_TSC_DEADLINE", "Description": [ "TSC deadline, in native TSC ticks", "Applicable only to L2 VMs" ], "Type": "64-bit unsigned integer", "Attributes": null, "VM Applicability": "L2_ONLY", "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)": "0xA02000030000005C", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "BASE_L2_CR0_GUEST_HOST_MASK", "Description": [ "The base guest/host mask used for any L2 CR0 access by the L1 VMM.", "Bits 5, 29 and 30 can't be written even in debug mode." ], "Type": "64-bit bitmap", "Attributes": null, "VM Applicability": null, "Mutability": "TDH.VP.INIT/TDH.MIG.IMPORT.VP", "Initial Value": [ "The following bits are set to 1, indicating they are owned by the Intel TDX module:", "\u2022 NE (5)", "\u2022 NW (29)", "\u2022 CD (30)", "\u2022 Any bit set to 1 in IA32_VMX_CR0_FIXED0", " (i.e., a bit whose value must be 1), except for", " PE (0) and PG(31) which are set to 0, since the", " guest TD runs as an unrestricted guest.", "\u2022 Any bit set to 0 in IA32_VMX_CR0_FIXED1", " (i.e., a bit whose value must be 0)", "\u2022 Bits known to the Intel TDX module as", " reserved (bits 63-32, 28-19, 17 and 15-6)", "All other bits are cleared to 0, indicating they are owned by the guest TD." ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0xA020000300000080", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest 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 ": "0xFFFFFFFF9FFFFFDF", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Management", "Field Name": "BASE_L2_CR0_READ_SHADOW", "Description": [ "The base read shadow used for any L2 CR0 access by the L1 VMM.", "Bits 0 and 5 can't be written even in debug mode." ], "Type": "64-bit bitmap", "Attributes": null, "VM Applicability": null, "Mutability": "TDH.VP.INIT/TDH.MIG.IMPORT.VP", "Initial Value": [ "The following bits are set to 1:", "\u2022 NE (5)", "\u2022 Any bit set to 1 in IA32_VMX_CR0_FIXED0", " (i.e., a bit whose value must be 1), except for", " PE (0) and PG(31) which are set to 0, since the", " guest TD runs as an unrestricted guest.", "All other bits are cleared to 0." ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0xA020000300000081", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest 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 ": "0xFFFFFFFF9FFFFFDF", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Management", "Field Name": "BASE_L2_CR4_GUEST_HOST_MASK", "Description": [ "The base guest/host mask used for any L2 CR4 access by the L1 VMM.", "Bits 6, 13 and 14 can't be written even in debug mode." ], "Type": "64-bit bitmap", "Attributes": null, "VM Applicability": null, "Mutability": "TDH.VP.INIT/TDH.MIG.IMPORT.VP", "Initial Value": [ "\u2022 Bits MCE (6), VMXE (13) and SMXE (14) are", " set to 1, indicating they are owned", " by the Intel TDX module.", "\u2022 Bit PKE (22) is set to ~TDCS.XFAM[9] to", " intercept writes to CR4 If PK is not enabled.", "\u2022 If TDCS.XFAM[12:11] is 11, then bit CET (23)", " is cleared to 0. Otherwise (CET is not", " enabled), bit CET (23) is set to 1 to", " intercept writes to CR4.", "\u2022 Bit UINT (25) is set ~TDCS.XFAM[14] to", " intercept writes to CR4 if ULI is not enabled.", "\u2022 Bit KL (19) is set to ~TDCS.ATTRIBUTES.KL to", " intercept writes to CR4 if KeyLocker is not", " enabled.", "\u2022 Bit PKS (24) is set to ~TDCS.ATTRIBUTES.PKS", " to intercept writes to CR4 if PKS is not", " enabled.", "\u2022 Any bit set to 1 in IA32_VMX_CR4_FIXED0", " (i.e., a bit whose value must be 1) is set to 1. ", "\u2022 Any bit set to 0 in IA32_VMX_CR4_FIXED1", " (i.e., a bit whose value must be 0) is set to 1.", "\u2022 Bits known to the Intel TDX module as", " reserved (bits 63-26 and bit 15) are set to 1.", "\u2022 All other bits are cleared to 0." ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0xA020000300000082", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest 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 ": "0xFFFFFFFFFFFF9FBF", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Management", "Field Name": "BASE_L2_CR4_READ_SHADOW", "Description": [ "The base read shadow used for any L2 CR4 access by the L1 VMM.", "Bit 6 can't be written even in debug mode." ], "Type": "64-bit bitmap", "Attributes": null, "VM Applicability": null, "Mutability": "TDH.VP.INIT/TDH.MIG.IMPORT.VP", "Initial Value": [ "\u2022 Bit MCE (6) is set to 1.", "\u2022 Bit VMXE (13) is set to 1.", "\u2022 Any other bit whose value is set to 1 in", " IA32_VMX_CR4_FIXED0 (i.e., a bit", " whose value must be 1) is set to 1.", "\u2022 All other bits are cleared to 0." ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0xA020000300000083", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest 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 ": "0xFFFFFFFF9FFFFFDF", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Management", "Field Name": "SHADOW_CR0_GUEST_HOST_MASK", "Description": [ "The L2 VMCS CR0 guest/host mask original value, as set by the L1 VMM.", "Applicable only to L2" ], "Type": "64-bit bitmap", "Attributes": null, "VM Applicability": "L2_ONLY", "Mutability": "Mutable", "Initial Value": [ "For L2: all-1" ], "Field Size (Bytes)": "8", "Num Fields": "4", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "32", "Base FIELD_ID (Hex)": "0xA020000300000084", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "SHADOW_CR0_READ_SHADOW", "Description": [ "The L2 VMCS CR0 read shadow original value, as set by the L1 VMM", "Applicable only to L2" ], "Type": "64-bit bitmap", "Attributes": null, "VM Applicability": "L2_ONLY", "Mutability": "Mutable", "Initial Value": [ "For L2: all-0" ], "Field Size (Bytes)": "8", "Num Fields": "4", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "32", "Base FIELD_ID (Hex)": "0xA020000300000088", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "SHADOW_CR4_GUEST_HOST_MASK", "Description": [ "The L2 VMCS CR4 guest/host mask original value, as set by the L1 VMM.", "Applicable only to L2" ], "Type": "64-bit bitmap", "Attributes": null, "VM Applicability": "L2_ONLY", "Mutability": "Mutable", "Initial Value": [ "For L2: all-1" ], "Field Size (Bytes)": "8", "Num Fields": "4", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "32", "Base FIELD_ID (Hex)": "0xA02000030000008C", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "SHADOW_CR4_READ_SHADOW", "Description": [ "The L2 VMCS CR4 read shadow original value, as set by the L1 VMM.", "Applicable only to L2" ], "Type": "64-bit bitmap", "Attributes": null, "VM Applicability": "L2_ONLY", "Mutability": "Mutable", "Initial Value": [ "For L2: all-0" ], "Field Size (Bytes)": "8", "Num Fields": "4", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "32", "Base FIELD_ID (Hex)": "0xA020000300000090", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "SHADOW_INSTRUCTION_TIMEOUT_CONTROL", "Description": [ "Shadow value of VMCS instruction timeout, in crystal clock ticks", "Applicable to all VMs" ], "Type": "32-bit unsigned integer", "Attributes": null, "VM Applicability": "L1_AND_L2", "Mutability": "Mutable", "Initial Value": [ "0" ], "Field Size (Bytes)": "4", "Num Fields": "4", "Num Elements": "1", "Element Size (Bytes)": "4", "Overall Size (Bytes)": "16", "Base FIELD_ID (Hex)": "0xA020000200000094", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "SHADOW_PID_HPA", "Description": [ "Shadow value of VMCS posted interrupt descriptor address", "Applicable only to L1" ], "Type": "Shared HPA", "Attributes": "SHARED_HPA\",\n", "VM Applicability": "L1_ONLY", "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)": "0xA020000300000098", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "SHADOW_PINBASED_EXEC_CTLS", "Description": [ "Shadow value of VMCS pin based execution controls", "Applicable only to L1" ], "Type": "32-bit bitmap", "Attributes": null, "VM Applicability": "L1_ONLY", "Mutability": "Mutable", "Initial Value": [ "Same as VMCS field" ], "Field Size (Bytes)": "4", "Num Fields": "4", "Num Elements": "1", "Element Size (Bytes)": "4", "Overall Size (Bytes)": "16", "Base FIELD_ID (Hex)": "0xA02000020000009C", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "SHADOW_PLE_GAP", "Description": [ "Shadow value of VMCS PLE_GAP, in virtual TSC ticks", "Applicable only to L2 VMs" ], "Type": "32-bit unsigned integer", "Attributes": null, "VM Applicability": "L2_ONLY", "Mutability": "Mutable", "Initial Value": [ "0" ], "Field Size (Bytes)": "4", "Num Fields": "4", "Num Elements": "1", "Element Size (Bytes)": "4", "Overall Size (Bytes)": "16", "Base FIELD_ID (Hex)": "0xA0200002000000A4", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "SHADOW_PLE_WINDOW", "Description": [ "Shadow value of VMCS PLE_WINDOW, in virtual TSC ticks", "Applicable only to L2 VMs" ], "Type": "32-bit unsigned integer", "Attributes": null, "VM Applicability": "L2_ONLY", "Mutability": "Mutable", "Initial Value": [ "0" ], "Field Size (Bytes)": "4", "Num Fields": "4", "Num Elements": "1", "Element Size (Bytes)": "4", "Overall Size (Bytes)": "16", "Base FIELD_ID (Hex)": "0xA0200002000000A8", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "SHADOW_POSTED_INT_NOTIFICATION_VECTOR", "Description": [ "Shadow value of VMCS posted interrupt notification vector", "Applicable only to L1" ], "Type": "16-bit unsigned integer", "Attributes": null, "VM Applicability": "L1_ONLY", "Mutability": "Mutable", "Initial Value": [ "0xFFFF" ], "Field Size (Bytes)": "2", "Num Fields": "4", "Num Elements": "1", "Element Size (Bytes)": "2", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0xA0200001000000AC", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "SHADOW_PROCBASED_EXEC_CTLS2", "Description": [ "Shadow value of VMCS secondary processor based execution controls", "Applicable to all VMs" ], "Type": "32-bit bitmap", "Attributes": null, "VM Applicability": "L1_AND_L2", "Mutability": "Mutable", "Initial Value": [ "Same as VMCS field" ], "Field Size (Bytes)": "4", "Num Fields": "4", "Num Elements": "1", "Element Size (Bytes)": "4", "Overall Size (Bytes)": "16", "Base FIELD_ID (Hex)": "0xA0200002000000B0", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "SHADOW_SHARED_EPTP", "Description": [ "Shadow value of VMCS shared EPTP", "Applicable to all VMs" ], "Type": "HPA", "Attributes": "SHARED_HPA\",\n", "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)": "0xA0200003000000B4", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "L2_ENTER_GUEST_STATE_GPA", "Description": [ "GPA of TDG.VP.ENTER guest state output buffer", "Applicable only to L2 VMs" ], "Type": "GPA", "Attributes": "PRIVATE_GPA\",\n", "VM Applicability": "L2_ONLY", "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)": "0xA020000300000100", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "L2_ENTER_GUEST_STATE_HPA", "Description": [ "HPA (incl. HKID) of TDG.VP.ENTER guest state output buffer", "Applicable only to L2 VMs" ], "Type": "HPA", "Attributes": "PRIVATE_HPA\",\n", "VM Applicability": "L2_ONLY", "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)": "0xA020000300000104", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "VE_INFO_GPA", "Description": [ "Shadow GPA of the VE_INFO area", "Applicable only to L2 VMs" ], "Type": "GPA", "Attributes": "PRIVATE_GPA\",\n", "VM Applicability": "L2_ONLY", "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)": "0xA020000300000108", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "VE_INFO_HPA", "Description": [ "Shadow HPA (incl. HKID) of the VE_INFO area", "Applicable only to L2 VMs" ], "Type": "HPA", "Attributes": "PRIVATE_HPA\",\n", "VM Applicability": "L2_ONLY", "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)": "0xA02000030000010C", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "L2_VAPIC_GPA", "Description": [ "Shadow GPA of the L2 virtual APIC address (used by the L1 VMM)", "Applicable only to L2 VMs" ], "Type": "GPA", "Attributes": "PRIVATE_GPA\",\n", "VM Applicability": "L2_ONLY", "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)": "0xA020000300000110", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Management", "Field Name": "L2_VAPIC_HPA", "Description": [ "Shadow HPA (incl. HKID) of the L2 virtual APIC address", "Applicable only to L2 VMs" ], "Type": "HPA", "Attributes": "PRIVATE_HPA\",\n", "VM Applicability": "L2_ONLY", "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)": "0xA020000300000114", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "EPT Violation Log", "Field Name": "LAST_EPF_GPA_LIST", "Description": [ "Array of GPAs that caused EPF so far at this TD vCPU instruction" ], "Type": "GPA", "Attributes": "PRIVATE_GPA\",\n", "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "N/A" ], "Field Size (Bytes)": "8", "Num Fields": "32", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "256", "Base FIELD_ID (Hex)": "0xA220000300000200", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "CPUID Control", "Field Name": "CPUID_CONTROL", "Description": [ "Bit 0: When set, the Intel TDX module", " injects #VE on guest TD", " execution of CPUID in CPL = 0.", "Bit 1: When set, the Intel TDX module", " injects #VE on guest TD", " execution of CPUID in CPL > 0.", "Other: Reserved, must be 0." ], "Type": "Array of 8-bit bitmaps", "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "0" ], "Field Size (Bytes)": "1", "Num Fields": "128", "Num Elements": "1", "Element Size (Bytes)": "1", "Overall Size (Bytes)": "128", "Base FIELD_ID (Hex)": "0xA120000000000000", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest Access": "RWS", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "0", "Guest Rd Mask": "-1", "Guest Wr Mask": "0x03" }, { "Class": "VAPIC", "Field Name": "VAPIC", "Description": [ "Virtual APIC Page" ], "Type": "Page", "Attributes": null, "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)": "0x0120000300000000", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "VE_INFO", "Field Name": "EXIT_REASON", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x0220000200000000", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "VE_INFO", "Field Name": "VALID", "Description": [ "0xFFFFFFFF: valid", "0x00000000: not valid" ], "Type": null, "Attributes": null, "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)": "0x0220000200000001", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "VE_INFO", "Field Name": "EXIT_QUALIFICATION", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x0220000300000002", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "VE_INFO", "Field Name": "GLA", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x0220000300000003", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "VE_INFO", "Field Name": "GPA", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x0220000300000004", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "VE_INFO", "Field Name": "EPTP_INDEX", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x0220000100000005", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "VE_INFO", "Field Name": "INSTRUCTION_LENGTH", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x8220000200000010", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "VE_INFO", "Field Name": "INSTRUCTION_INFORMATION", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x8220000200000011", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "VE_INFO", "Field Name": "VE_CATEGORY", "Description": [ "Category of #VE exception, see [ABI Spec]" ], "Type": null, "Attributes": null, "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)": "0x8220000000000013", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Guest GPR State", "Field Name": "RAX", "Description": [ "None" ], "Type": null, "Attributes": null, "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)": "0x1020000300000000", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest GPR State", "Field Name": "RCX", "Description": [ "Init value is provided as an input to TDH.VP.INIT (same value as R8)" ], "Type": null, "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "Provided as an input to TDH.VP.INIT (same value as R8)" ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0x1020000300000001", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest GPR State", "Field Name": "RDX", "Description": [ "Init Value:", "\u2022 Bits [31:00]: Same as RESET", " value, matches", " CPUID.1:EAX. CPU version", " information includes Family,", " Model and Stepping", "\u2022 Bits [63:32]: Set to 0" ], "Type": null, "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "Bits [31:00]: Same as RESET value, matches CPUID.1:EAX. CPU version information: Family, Model and Stepping", "Bits [63:32]: Set to 0" ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0x1020000300000002", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest GPR State", "Field Name": "RBX", "Description": [ "Init Value:", "\u2022 Bits [05:00]: GPAW is the", " effective GPA width (in bits)", " for this TD (do not confuse", " with MAXPA); SHARED bit is", " at GPA bit GPAW-1; only", " GPAW values 48 and 52 are", " possible", "\u2022 Bits [63:06]: Reserved for", " future additional details, set", " to 0, must be ignored by", " vBIOS" ], "Type": null, "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "Bits [05:00]: GPAW: the effective GPA width (in bits) for this TD (don\u2019t confuse with MAXPA). SHARED bit is at GPA bit GPAW-1. In TDX1, only GPAW values 48 and 52 are possible.", "Bits [63:06]: Reserved for future additional details, set to 0, must be ignored by vBIOS" ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0x1020000300000003", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest GPR State", "Field Name": "RBP", "Description": [ "Init Value:", "\u2022 Bits [31:00]: Virtual CPU", " index, starting from 0 and", " allocated sequentially on", " each successful TDH.VP.INIT", "\u2022 Bits [63:32]: Set to 0" ], "Type": null, "Attributes": null, "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)": "0x1020000300000005", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest GPR State", "Field Name": "RSI", "Description": [ " " ], "Type": null, "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "Bits [31:00]: Virtual CPU index, starting from 0 and allocated sequentially on each successful TDH.VP.INIT", "Bits [63:32]: Set to 0" ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0x1020000300000006", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest GPR State", "Field Name": "RDI", "Description": [ "Init value is provided as an input to TDH.VP.INIT (same value as RCX)" ], "Type": null, "Attributes": null, "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)": "0x1020000300000007", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest GPR State", "Field Name": "R8", "Description": [ " " ], "Type": null, "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "Provided as an input to TDH.VP.INIT (same value as RCX)" ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0x1020000300000008", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest GPR State", "Field Name": "R9", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x1020000300000009", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest GPR State", "Field Name": "R10", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x102000030000000A", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest GPR State", "Field Name": "R11", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x102000030000000B", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest GPR State", "Field Name": "R12", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x102000030000000C", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest GPR State", "Field Name": "R13", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x102000030000000D", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest GPR State", "Field Name": "R14", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x102000030000000E", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest GPR State", "Field Name": "R15", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x102000030000000F", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest State", "Field Name": "DR0", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x1120000300000000", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest State", "Field Name": "DR1", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x1120000300000001", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest State", "Field Name": "DR2", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x1120000300000002", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest State", "Field Name": "DR3", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x1120000300000003", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest State", "Field Name": "DR6", "Description": [ " " ], "Type": null, "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "0xFFFF0FF0" ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0x1120000300000006", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest 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 ": "0x00000000FFFFFFFF", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest State", "Field Name": "XCR0", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x1120000300000020", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Guest State", "Field Name": "CR2", "Description": [ "None" ], "Type": null, "Attributes": null, "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)": "0x1120000300000028", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest State", "Field Name": "VCPU_STATE_DETAILS", "Description": [ "Bit 0: INTR_PENDING: Indicates", " that a virtual interrupt", " is pending delivery, i.e.", " VMCS.RVI[7:4] >", " TDVPS.VAPIC.VPPR[7:4]", "Bits 63:2: Reserved, set to 0" ], "Type": null, "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "N/A" ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0x9120000300000100", "Host VMM Access for a Production TD": "ROS", "Host VMM Access for a Debug TD": "ROS", "Guest 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" }, { "Class": "Guest MSR State", "Field Name": "IA32_SPEC_CTRL", "Description": [ " " ], "Type": null, "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "All-0, except bit 8 (DDPD_U) which is set to 1 if the CPU supports DDPD_U (h/w CPUID(7.2).EDX[3] == 1) but (virtual CPUID(7.2).EDX[3] == 0)" ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0x1320000300000048", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RWS", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "IA32_UMWAIT_CONTROL", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x13200003000000E1", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "IA32_TSX_CTRL", "Description": [ "None" ], "Type": null, "Attributes": null, "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)": "0x1320000300000122", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "IA32_PERFEVTSELx", "Description": [ " " ], "Type": null, "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "0" ], "Field Size (Bytes)": "8", "Num Fields": "8", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "64", "Base FIELD_ID (Hex)": "0x1320000300000186", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "MSR_OFFCORE_RSPx", "Description": [ " " ], "Type": null, "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "0" ], "Field Size (Bytes)": "8", "Num Fields": "2", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "16", "Base FIELD_ID (Hex)": "0x13200003000001A6", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "IA32_XFD", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x13200003000001C4", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Guest MSR State", "Field Name": "IA32_XFD_ERR", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x13200003000001C5", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Guest MSR State", "Field Name": "IA32_FIXED_CTRx", "Description": [ " " ], "Type": null, "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "0" ], "Field Size (Bytes)": "8", "Num Fields": "7", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "56", "Base FIELD_ID (Hex)": "0x1320000300000309", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "IA32_PERF_METRICS", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x1320000300000329", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "IA32_FIXED_CTR_CTRL", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x132000030000038D", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "IA32_PERF_GLOBAL_STATUS", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x132000030000038E", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Guest MSR State", "Field Name": "IA32_PEBS_ENABLE", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x13200003000003F1", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "MSR_PEBS_DATA_CFG", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x13200003000003F2", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "MSR_PEBS_LD_LAT", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x13200003000003F6", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "MSR_PEBS_FRONTEND", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x13200003000003F7", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "IA32_A_PMCx", "Description": [ " " ], "Type": null, "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "0" ], "Field Size (Bytes)": "8", "Num Fields": "8", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "64", "Base FIELD_ID (Hex)": "0x13200003000004C1", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "IA32_DS_AREA", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x1320000300000600", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "IA32_XSS", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x1320000300000DA0", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Guest MSR State", "Field Name": "IA32_LBR_DEPTH", "Description": [ " " ], "Type": null, "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "(n + 1) * 8, where n is the index of the highest bit set to 1 in CPUID(0x1C,0).EAX[7:0]" ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0x13200003000014CF", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "IA32_UARCH_MISC_CTL", "Description": [ "None" ], "Type": null, "Attributes": null, "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)": "0x1320000300001B01", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "IA32_STAR", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x1320000300002081", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Guest MSR State", "Field Name": "IA32_LSTAR", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x1320000300002082", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Guest MSR State", "Field Name": "IA32_FMASK", "Description": [ " " ], "Type": null, "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "0x00020200" ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0x1320000300002084", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Guest MSR State", "Field Name": "IA32_KERNEL_GS_BASE", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x1320000300002102", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RO", "Guest 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" }, { "Class": "Guest MSR State", "Field Name": "IA32_TSC_AUX", "Description": [ " " ], "Type": null, "Attributes": null, "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)": "0x1320000300002103", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "IA32_MISC_ENABLE", "Description": [ "Shadow of IA32_MISC_ENABLE. Value is never written to the h/w." ], "Type": null, "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "See the [ABI Spec]" ], "Field Size (Bytes)": "8", "Num Fields": "1", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "8", "Base FIELD_ID (Hex)": "0x13200003000001A0", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RWS", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest MSR State", "Field Name": "MSR_SMI_COUNT", "Description": [ "Shadow of MSR_SMI_COUNT. Value is never written to the h/w." ], "Type": null, "Attributes": null, "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)": "0x1320000300000034", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RW", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "Guest Ext. State", "Field Name": "XBUFF", "Description": [ " " ], "Type": "XSAVES buffer", "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "0" ], "Field Size (Bytes)": "8", "Num Fields": "1536", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "12288", "Base FIELD_ID (Hex)": "0x1220000300000000", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RWS", "Guest Access": "None", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "0", "Guest Wr Mask": "0" }, { "Class": "MSR Bitmaps[1]", "Field Name": "L2_MSR_BITMAPS_1", "Description": [ "MSR exit bitmaps page, controlling L2 VM RDMSR/WRMSR VM exit" ], "Type": "MSR Exit Bitmaps", "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "All-1" ], "Field Size (Bytes)": "8", "Num Fields": "512", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "4096", "Base FIELD_ID (Hex)": "0x2520000300000000", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RWS", "Guest Access": "RWS", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "-1", "Guest Wr Mask": "-1" }, { "Class": "MSR Bitmaps Shadow[1]", "Field Name": "L2_SHADOW_MSR_BITMAPS_1", "Description": [ "Shadow MSR exit bitmaps page, defining the L2 VM policy for handling MSR access, set by the L1 VMM" ], "Type": "MSR Exit Bitmaps", "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "All-1" ], "Field Size (Bytes)": "8", "Num Fields": "512", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "4096", "Base FIELD_ID (Hex)": "0xA620000300000000", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "ROS", "Guest 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" }, { "Class": "MSR Bitmaps[2]", "Field Name": "L2_MSR_BITMAPS_2", "Description": [ "MSR exit bitmaps page, controlling L2 VM RDMSR/WRMSR VM exit" ], "Type": "MSR Exit Bitmaps", "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "All-1" ], "Field Size (Bytes)": "8", "Num Fields": "512", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "4096", "Base FIELD_ID (Hex)": "0x2D20000300000000", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RWS", "Guest Access": "RWS", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "-1", "Guest Wr Mask": "-1" }, { "Class": "MSR Bitmaps Shadow[2]", "Field Name": "L2_SHADOW_MSR_BITMAPS_2", "Description": [ "Shadow MSR exit bitmaps page, defining the L2 VM policy for handling MSR access, set by the L1 VMM" ], "Type": "MSR Exit Bitmaps", "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "All-1" ], "Field Size (Bytes)": "8", "Num Fields": "512", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "4096", "Base FIELD_ID (Hex)": "0xAE20000300000000", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "ROS", "Guest 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" }, { "Class": "MSR Bitmaps[3]", "Field Name": "L2_MSR_BITMAPS_3", "Description": [ "MSR exit bitmaps page, controlling L2 VM RDMSR/WRMSR VM exit" ], "Type": "MSR Exit Bitmaps", "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "All-1" ], "Field Size (Bytes)": "8", "Num Fields": "512", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "4096", "Base FIELD_ID (Hex)": "0x3520000300000000", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "RWS", "Guest Access": "RWS", "Host VMM Rd Mask for a Production TD ": "0", "Host VMM Wr Mask for a Production TD ": "0", "Host VMM Rd Mask for a Debug TD ": "-1", "Host VMM Wr Mask for a Debug TD ": "-1", "Guest Rd Mask": "-1", "Guest Wr Mask": "-1" }, { "Class": "MSR Bitmaps Shadow[3]", "Field Name": "L2_SHADOW_MSR_BITMAPS_3", "Description": [ "Shadow MSR exit bitmaps page, defining the L2 VM policy for handling MSR access, set by the L1 VMM" ], "Type": "MSR Exit Bitmaps", "Attributes": null, "VM Applicability": null, "Mutability": "Mutable", "Initial Value": [ "All-1" ], "Field Size (Bytes)": "8", "Num Fields": "512", "Num Elements": "1", "Element Size (Bytes)": "8", "Overall Size (Bytes)": "4096", "Base FIELD_ID (Hex)": "0xB620000300000000", "Host VMM Access for a Production TD": "None", "Host VMM Access for a Debug TD": "ROS", "Guest 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" } ] }