Module tdx

Intel TDX specific definitions.

Structs

GpaVmAttributes

Attributes for a single VM.

GpaVmAttributesMask

Attributes mask used to set which bits are updated in TDG.MEM.PAGE.ATTR.WR.

ReportMac

See REPORTMACSTRUCT in Table 3.31, “Intel TDX Module v1.5 ABI specification”, March 2024.

ReportType

See REPORTTYPE in Table 3.32, “Intel TDX Module v1.5 ABI specification”, March 2024.

TdAttributes

See ATTRIBUTES in Table 3.9, “Intel TDX Module v1.5 ABI specification”, March 2024.

TdCallLeaf

TDCALL instruction leafs that are passed into the tdcall instruction in eax.

TdCallResult

The result returned by a tdcall instruction in rax.

TdCallResultCode

Result code for tdcall to the TDX module, returned in RAX.

TdGlaVmAndFlags

TdInfo

See TDINFO_STRUCT in Table 3.33, “Intel TDX Module v1.5 ABI specification”, March 2024.

TdInfoBase

See TDINFO_BASE in Table 3.34, “Intel TDX Module v1.5 ABI specification”, March 2024.

TdReport

Report structure. See TDREPORT_STRUCT in Table 3.29, “Intel TDX Module v1.5 ABI specification”, March 2024.

TdVmCallR10Result

The result returned by a tdg.vm.call in r10.

TdVpsClassCode

TdgMemPageAcceptRcx

TdgMemPageAttrGpaMappingReadRcxResult

TdgMemPageAttrWriteR8

R8 input to TDG.MEM.PAGE.ATTR.WR.

TdgMemPageAttrWriteRcx

RCX input to TDG.MEM.PAGE.ATTR.WR.

TdgMemPageGpaAttr

Corresponds to GPA_ATTR, which is used as input to TDG.MEM.PAGE.ATTR.WR and returned from TDG.MEM.PAGE.ATTR.RD.

TdxContextCode

TdxExtendedExitQualification

TdxExtendedExitQualificationType

TdxExtendedFieldCode

Extended field code for TDG.VP.WR and TDG.VP.RD

TdxGlaListInfo

TdxInstructionInfo

Instruction info returned in r11 for a TDG.VP.ENTER call.

TdxL2Ctls

TdxL2EnterGuestState

The GPR list used for TDG.VP.ENTER. Specified in the TDX specification as L2_ENTER_GUEST_STATE.

TdxVmFlags

TdxVpEnterRaxResult

TeeTcbInfo

See TEE_TCB_INFO in Table 3.29, “Intel TDX Module v1.5 ABI specification”, March 2024.

TeeTcbSvn

See TEE_TCB_SVN in Section 3.9.4, “Intel TDX Module v1.5 ABI specification”, March 2024.

Enums

FieldSize

Field size for TdxExtendedFieldCode.

TdVmCallSubFunction

The value specified in r11 when making a TD vmcall, specified by r10 = 0.

TdgMemPageLevel

Level used in various TDG.MEM.PAGE calls for GPA_MAPPING types.

TdxGp

Constants

RESET_VECTOR_PAGE

TDX_FIELD_CODE_L2_CTLS_VM1

TDX_FIELD_CODE_L2_CTLS_VM2

TDX_REPORT_DATA_SIZE

Size of report_data member in ReportMac.

TDX_REPORT_SIZE

Size of the TdReport.

TDX_SHARED_GPA_BOUNDARY_ADDRESS_BIT

TDX_SHARED_GPA_BOUNDARY_BITS

TDX_VP_ENTER_INVD_INVEPT

TDX_VP_ENTER_INVD_INVVPID

TDX_VP_ENTER_INVD_INVVPID_NON_GLOBAL

Type Aliases

Rtmr

Run-time extendable measurement register.