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