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. > -- Sathyanarayanan Kuppuswamy Linux Kernel Developer