include/uapi/linux/tdx-guest.h

   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  */
  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 /* _UAPI_LINUX_TDX_GUEST_H_ */