| /* | |
| * This file is auto-generated. Modifications will be lost. | |
| * | |
| * See https://android.googlesource.com/platform/bionic/+/master/libc/kernel/ | |
| * for more information. | |
| */ | |
| #ifndef _UAPI_LINUX_TDX_GUEST_H_ | |
| #define _UAPI_LINUX_TDX_GUEST_H_ | |
| #include <linux/ioctl.h> | |
| #include <linux/types.h> | |
| #define TDX_REPORTDATA_LEN 64 | |
| #define TDX_REPORT_LEN 1024 | |
| struct tdx_report_req { | |
| __u8 reportdata[TDX_REPORTDATA_LEN]; | |
| __u8 tdreport[TDX_REPORT_LEN]; | |
| }; | |
| #define TDX_CMD_GET_REPORT0 _IOWR('T', 1, struct tdx_report_req) | |
| #endif |