On Mon, 2022-09-12 at 14:38 -0700, Sathyanarayanan Kuppuswamy wrote:
On 9/12/22 12:21 AM, Huang, Kai wrote:
On Fri, 2022-09-09 at 12:27 -0700, Kuppuswamy Sathyanarayanan wrote:
Intel's TDX guest driver exposes TDX_CMD_GET_REPORT IOCTL interface to get the TDREPORT from the user space.
(Sorry missed this one in previous reply).
Also, the IOCTL is to return the TDREPORT _to_ userspace, but not get the TDREPORT _from_ userspace.
How about following?
Intel's TDX guest driver exposes TDX_CMD_GET_REPORT IOCTL interface to
enable guest user space get the TDREPORT.
^ to get ?
Sure fine to me (as long as no grammar error).