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).
