Re: [RFC PATCH 05/15] virt: tdx-guest: Add TDCM helpers and TEE-IO support check

[Xiaoyao Li]

On 10/14/2026 2:11 PM, Duan, Zhenzhong wrote:
>> This is used to allow TD guest TEE-IO Device Control and Management
>> (TDCM) module to
>> manage the device. The TDCM leaf functions are defined in the following
>> table
>>
>> Is TDCM module implemented via the NRX facility ?  The TDX Connect spec
>> never mentions the TDCM module. A bit more details are required in order
>> to better understand why you've implemented this the way you have.
> "TDCM module" is GHCI terminology. In this series, the guest-side
> implementation is in the TDX TSM driver; it is not an NRX module.

I think the TDX guest TSM driver is just the implementation of the "TDCM module"
called in GHCI, right?