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 */
28struct 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

source code of linux/include/uapi/linux/tdx-guest.h