123456789101112131415161718192021222324252627282930313233343536373839404142 |
- /* SPDX-License-Identifier: GPL-2.0 WITH Linux-syscall-note */
- /*
- * Userspace interface for TDX guest driver
- *
- * Copyright (C) 2022 Intel Corporation
- */
- #ifndef _LINUX_TDX_GUEST_H_
- #define _LINUX_TDX_GUEST_H_
- #include <linux/ioctl.h>
- #include <linux/types.h>
- /* Length of the REPORTDATA used in TDG.MR.REPORT TDCALL */
- #define TDX_REPORTDATA_LEN 64
- /* Length of TDREPORT used in TDG.MR.REPORT TDCALL */
- #define TDX_REPORT_LEN 1024
- /**
- * struct tdx_report_req - Request struct for TDX_CMD_GET_REPORT0 IOCTL.
- *
- * @reportdata: User buffer with REPORTDATA to be included into TDREPORT.
- * Typically it can be some nonce provided by attestation
- * service, so the generated TDREPORT can be uniquely verified.
- * @tdreport: User buffer to store TDREPORT output from TDCALL[TDG.MR.REPORT].
- */
- struct tdx_report_req {
- __u8 reportdata[TDX_REPORTDATA_LEN];
- __u8 tdreport[TDX_REPORT_LEN];
- };
- /*
- * TDX_CMD_GET_REPORT0 - Get TDREPORT0 (a.k.a. TDREPORT subtype 0) using
- * TDCALL[TDG.MR.REPORT]
- *
- * Return 0 on success, -EIO on TDCALL execution failure, and
- * standard errno on other general error cases.
- */
- #define TDX_CMD_GET_REPORT0 _IOWR('T', 1, struct tdx_report_req)
- #endif /* _LINUX_TDX_GUEST_H_ */
|