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. -- Thanks, -Kai