1 .. SPDX-License-Identifier: GPL-2.0
2
3 ==============================================
4 TDX Guest API Documentation
5 ==============================================
6
7 1. General description
8 ======================
9
10 The TDX guest driver exposes IOCTL interfaces
11 device to allow userspace to get certain TDX g
12
13 2. API description
14 ==================
15
16 In this section, for each supported IOCTL, the
17 provided along with a generic description.
18
19 :Input parameters: Parameters passed to the IO
20 :Output: Details about output data and return
21 the non common error values).
22
23 2.1 TDX_CMD_GET_REPORT0
24 -----------------------
25
26 :Input parameters: struct tdx_report_req
27 :Output: Upon successful execution, TDREPORT d
28 tdx_report_req.tdreport and return 0.
29 operands, -EIO on TDCALL failure or s
30 common failures.
31
32 The TDX_CMD_GET_REPORT0 IOCTL can be used by t
33 the TDREPORT0 (a.k.a. TDREPORT subtype 0) from
34 TDCALL[TDG.MR.REPORT].
35
36 A subtype index is added at the end of this IO
37 subtype-specific TDREPORT request. Although th
38 the TDX Module v1.0 specification, section tit
39 currently used, and it expects this value to b
40 implementation simple, the subtype option was
41 ABI. However, in the future, if the TDX Module
42 a new IOCTL CMD will be created to handle it.
43 consistent, a subtype index is added as part o
44
45 Reference
46 ---------
47
48 TDX reference material is collected here:
49
50 https://www.intel.com/content/www/us/en/develo
51
52 The driver is based on TDX module specificatio
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.