1 | /* SPDX-License-Identifier: GPL-2.0 WITH Linux-syscall-note */ |
2 | /* |
3 | * Userspace interface for TDX guest driver |
4 | * |
5 | * Copyright (C) 2022 Intel Corporation |
6 | */ |
7 | |
8 | #ifndef _UAPI_LINUX_TDX_GUEST_H_ |
9 | #define _UAPI_LINUX_TDX_GUEST_H_ |
10 | |
11 | #include <linux/ioctl.h> |
12 | #include <linux/types.h> |
13 | |
14 | /* Length of the REPORTDATA used in TDG.MR.REPORT TDCALL */ |
15 | #define TDX_REPORTDATA_LEN 64 |
16 | |
17 | /* Length of TDREPORT used in TDG.MR.REPORT TDCALL */ |
18 | #define TDX_REPORT_LEN 1024 |
19 | |
20 | /** |
21 | * struct tdx_report_req - Request struct for TDX_CMD_GET_REPORT0 IOCTL. |
22 | * |
23 | * @reportdata: User buffer with REPORTDATA to be included into TDREPORT. |
24 | * Typically it can be some nonce provided by attestation |
25 | * service, so the generated TDREPORT can be uniquely verified. |
26 | * @tdreport: User buffer to store TDREPORT output from TDCALL[TDG.MR.REPORT]. |
27 | */ |
28 | struct tdx_report_req { |
29 | __u8 reportdata[TDX_REPORTDATA_LEN]; |
30 | __u8 tdreport[TDX_REPORT_LEN]; |
31 | }; |
32 | |
33 | /* |
34 | * TDX_CMD_GET_REPORT0 - Get TDREPORT0 (a.k.a. TDREPORT subtype 0) using |
35 | * TDCALL[TDG.MR.REPORT] |
36 | * |
37 | * Return 0 on success, -EIO on TDCALL execution failure, and |
38 | * standard errno on other general error cases. |
39 | */ |
40 | #define TDX_CMD_GET_REPORT0 _IOWR('T', 1, struct tdx_report_req) |
41 | |
42 | #endif /* _UAPI_LINUX_TDX_GUEST_H_ */ |
43 | |