Module tdx_guest::tdcall

The TDCALL instruction causes a VM exit to the Intel TDX module. It is used to call guest-side Intel TDX functions. For more information about TDCALL, please refer to the Intel® TDX Module v1.5 ABI Specification

Structs

• GpaAttr
  GPA Attributes (Single VM) Definition.
• GpaAttrAll
  GPA Attributes (all VMs) Definition.
• GuestTdAttributes
  GuestTdAttributes is defined as a 64b field that specifies various guest TD attributes. It is reported to the guest TD by TDG.VP.INFO and as part of TDREPORT_STRUCT returned by TDG.MR.REPORT.
• PageAttr
• ReportMac
• ReportType
  REPORTTYPE indicates the reported Trusted Execution Environment (TEE) type, sub-type and version.
• TdInfo
  TDINFO_STRUCT is defined as the TDX-specific TEE_INFO part of TDG.MR.REPORT. It contains the measurements and initial configuration of the TD that was locked at initialization and a set of measurement registers that are run-time extendable. These values are copied from the TDCS by the TDG.MR.REPORT function. Refer to the [TDX Module Base Spec] for additional details.
• TdReport
• TdgVeInfo
• TdgVpInfo

Enums

• Gpaw
• InitError
• TdCallError
• TdcallNum
  TDCALL Instruction Leaf Numbers Definition.
• TdxVirtualExceptionType
• TeeType

Functions

• accept_page^⚠
  Accept a pending private page and initialize it to all-0 using the TD ephemeral private key.
• extend_rtmr
  Extend a TDCS.RTMR measurement register.
• get_report
  TDG.MR.REPORT creates a TDREPORT_STRUCT structure that contains the measurements/configuration information of the guest TD that called the function, measurements/configuration information of the Intel TDX module and a REPORTMACSTRUCT.
• get_tdinfo
  Get guest TD execution environment information.
• get_veinfo
  Get Virtualization Exception Information for the recent #VE exception.
• read_page_attr
  Read the GPA mapping and attributes of a TD private page.
• read_servetd
  As a service TD, read a metadata field (control structure field) of a target TD.
• read_td_metadata
  Read a TD-scope metadata field (control structure field) of a TD.
• set_cpuidve
  TDG.VP.CPUIDVE.SET controls unconditional #VE on CPUID execution by the guest TD.
• verify_report
  Verify a cryptographic REPORTMACSTRUCT that describes the contents of a TD, to determine that it was created on the current TEE on the current platform.
• write_page_attr
  Write the attributes of a private page. Create or remove L2 page aliases as required.
• write_servetd
  As a service TD, write a metadata field (control structure field) of a target TD.
• write_td_metadata
  Write a TD-scope metadata field (control structure field) of a TD.