Re: [PATCH v1 2/3] x86/coco: Disable TDX module calls when TD partitioning is active