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.