On 5/17/24 07:19, Kirill A. Shutemov wrote: > - /* > - * TDINFO TDX module call is used to get the TD execution environment > - * information like GPA width, number of available vcpus, debug mode > - * information, etc. More details about the ABI can be found in TDX > - * Guest-Host-Communication Interface (GHCI), section 2.4.2 TDCALL > - * [TDG.VP.INFO]. > - */ > - tdcall(TDG_VP_INFO, &args); > + tdg_vp_info(&gpa_width, &td_attr); Why is the comment going away?