43 lines · c
1/* SPDX-License-Identifier: GPL-2.0 WITH Linux-syscall-note */2/*3 * Userspace interface for TDX guest driver4 *5 * Copyright (C) 2022 Intel Corporation6 */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 6416 17/* Length of TDREPORT used in TDG.MR.REPORT TDCALL */18#define TDX_REPORT_LEN 102419 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 attestation25 * 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) using35 * TDCALL[TDG.MR.REPORT]36 *37 * Return 0 on success, -EIO on TDCALL execution failure, and38 * 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