Module x86defs::tdx

Expand description

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.
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
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

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.