On 2024-10-30 at 19:00, Rick Edgecombe wrote: > From: Isaku Yamahata <isaku.yamahata@xxxxxxxxx> > > Intel TDX protects guest VMs from malicious host and certain physical > attacks. The TDX module has TD scoped and vCPU scoped "metadata > fields". > These fields are a bit like VMCS fields, and stored in data > structures > maintained by the TDX module. Export 3 SEAMCALLs for use in reading > and > writing these fields: > > Make tdh_mng_rd() use MNG.VP.RD to read the TD scoped metadata. s/MNG.VP.RD/TDH.MNG.RD/