tdx-guest.h (1304B) - Raw
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 _LINUX_TDX_GUEST_H_ 9 #define _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 /* _LINUX_TDX_GUEST_H_ */