43 lines
1.3 KiB
C
43 lines
1.3 KiB
C
/* 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_ */
|